The Removal of Recoder

build.gradle

@@ -159,7 +159,7 @@ subprojects {
     task testFast(type: Test) {
         group "verification"
         useJUnitPlatform {
-            excludeTags "slow", "performance", "interactive"
+            excludeTags "slow", "performance", "interactive", "testRunAllProofs"
         }
 
         testLogging {
@@ -339,12 +339,11 @@ subprojects {
             toggleOffOn()
 
             removeUnusedImports()
-            /* At the moment, we have to ensure that version 4.22 of the eclipse formatter is run, since newer versions
-             * of the formatter crash in SymbolicExecutionTreeBuilder (seems to be a but in the formatter)!
-             */
-            eclipse("4.22").configFile("$rootDir/scripts/tools/checkstyle/keyCodeStyle.xml")
+
+            eclipse("4.29").configFile("$rootDir/gradle/keyCodeStyle.xml")
+            //googleJavaFormat().reorderImports(true).formatJavadoc(true).aosp().reflowLongStrings().style()
             trimTrailingWhitespace()        // not sure how to set this in the xml file ...
-            //googleJavaFormat().aosp().reflowLongStrings()
+
 
             // note: you can use an empty string for all the imports you didn't specify explicitly,
             // '|' to join group without blank line, and '\\#` prefix for static imports