commits that I forgot to made

Author: jcfgonc

.classpath

@@ -1,12 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry excluding="jcfgonc/patternminer/PatternFinderAbcDatalog.java|jcfgonc/patternminer/PatternFinderAmziProlog.java|jcfgonc/patternminer/PatternFinderGraal.java|jcfgonc/patternminer/PatternFinderSICStus.java|jcfgonc/patternminer/PatternFinderXSBProlog.java|jcfgonc/patternminer/PatternFinderSwiProlog.java" kind="src" output="target/classes" path="src">
+	<classpathentry excluding="jcfgonc/patternminer/PatternFinderGraal.java|jcfgonc/patternminer/PatternFinderAmziProlog.java|jcfgonc/patternminer/PatternFinderSICStus.java|jcfgonc/patternminer/PatternFinderXSBProlog.java" kind="src" output="target/classes" path="src">
 		<attributes>
 			<attribute name="optional" value="true"/>
 			<attribute name="maven.pomderived" value="true"/>
 		</attributes>
 	</classpathentry>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-14">
 		<attributes>
 			<attribute name="module" value="true"/>
 			<attribute name="maven.pomderived" value="true"/>