search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
41 stars 24 forks source link

Remove version lock for JDT in spotless #3498

Open wadoon opened 2 months ago

wadoon commented 2 months ago

Remove the version lock for JDT in the spotless configurations, b/c the new version can handle all classes w/o error.

Also, apply spotless to the code basis. It seems, that Java in Javadoc is also formatted.