Update spotless formatter to new JDT versions

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

42 stars 24 forks source link

Update spotless formatter to new JDT versions #3461

Closed wadoon closed 1 month ago

wadoon commented 2 months ago

Related Issue

We are currently using a too-old version of the eclipse formatted. This shows in non- or bad formatting Java 17+ constructs. There is no technical need to keep it this way.

PR uses new JDT version and updated configuration, see build.gradle and gradle/keyCodeStyle.xml.