Patch for running projects in Defects4J

[algomaster99]

@khaes-kth you can add the following patch to run RQ1.

diff --git a/main/src/main/java/io/github/chains_project/cs/Main.java b/main/src/main/java/io/github/chains_project/cs/Main.java
index 26220be..bfae303 100644
--- a/main/src/main/java/io/github/chains_project/cs/Main.java
+++ b/main/src/main/java/io/github/chains_project/cs/Main.java
@@ -211,6 +211,9 @@ public class Main implements Callable<Integer> {
         InvocationRequest request = new DefaultInvocationRequest();
         request.setPomFile(project.resolveFilename("pom.xml").toFile());
         request.setGoals(List.of("test"));
+        request.addArg("-Dmaven.compiler.source=1.6");
+        request.addArg("-Dmaven.compiler.target=1.6");
+        request.addArg("-Dmaven.compiler.compilerVersion=1.6");
         request.setBatchMode(true);
 
         Invoker invoker = new DefaultInvoker();

I am hesitant to add this on master because it is too specific. Anyway, based on the discussion with @monperrus today, the best solution is to refactor Defects4J to be compatible with Java 11.