Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching

modified:   src/test/java/AllgemeinTest.java

resources/AllgemeinTest/Box.jav

@@ -6,4 +6,7 @@ public class Box<A> {
 	public Box(A a) {
 		//this.a = a;
 	}
+	set(x) {
+	  a = x;
+	}
 }

src/test/java/AllgemeinTest.java

@@ -65,10 +65,10 @@ public class AllgemeinTest {
 		//String className = "TripleTest";
 		//String className = "WildcardList";
 		//String className = "List";
-		//String className = "Box";
+		String className = "Box";
 		//String className = "GenBox";
 		//String className = "InnerInf";
-		String className = "Foo";
+		//String className = "Foo";
 		//PL 2019-10-24: genutzt fuer unterschiedliche Tests
 		path = System.getProperty("user.dir")+"/resources/AllgemeinTest/" + className + ".jav";
 		//path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav";