back to nofork, reduce memory to 2g, add clearInstances agains mem-leaking.

Author: wadoon

key.core.infflow/src/test/java/de/uka/ilkd/key/informationflow/InfFlowProofCollection.java

@@ -37,7 +37,7 @@ public static ProofCollection automaticInfFlow() throws IOException {
          * perg = c.group("- one subprocess is created for each group
          * perFile-one subprocess is created for each file
          */
-        settings.setForkMode(ForkMode.PERGROUP);
+        settings.setForkMode(ForkMode.NOFORK);
 
         /*
          * Enable or disable proof reloading.
@@ -66,7 +66,7 @@ public static ProofCollection automaticInfFlow() throws IOException {
          *
          * Heap memory for subprocesses (like 500m or 2G)
          */
-        settings.setForkMemory("4g");
+        settings.setForkMemory("2g");
 
         /*
          * By default runAllProofs does not print a lot of information.

key.core/src/test/java/de/uka/ilkd/key/proof/runallproofs/RunAllProofsTestUnit.java

@@ -11,6 +11,7 @@
 import java.util.ArrayList;
 import java.util.List;
 
+import com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade;
 import de.uka.ilkd.key.proof.runallproofs.proofcollection.*;
 
 import org.slf4j.Logger;
@@ -93,6 +94,9 @@ public TestResult runTest(JunitXmlWriter xml) throws Exception {
                 for (TestFile testFile : testFiles) {
                     TestResult testResult = testFile.runKey();
                     testResults.add(testResult);
+
+                    // weigl: avoid data memory leak
+                    JavaParserFacade.clearInstances();
                 }
             }
             case PERFILE -> {