key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Update spotless formatter to new JDT versions

Open wadoon opened this issue 10 months ago • 0 comments

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.

wadoon avatar Apr 21 '24 12:04 wadoon