From 26bb3c9579a87af65bb3cfea42ef9b14d5ecdcc2 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Mon, 10 Oct 2022 18:11:57 +0200
Subject: [PATCH] 	modified:   ../../java/AllgemeinTest.java 
 modified:   Box_Main.jav

---
 src/test/java/AllgemeinTest.java              | 4 ++--
 src/test/resources/AllgemeinTest/Box_Main.jav | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java
index 79d932add..a16970bf0 100644
--- a/src/test/java/AllgemeinTest.java
+++ b/src/test/java/AllgemeinTest.java
@@ -46,8 +46,8 @@ public class AllgemeinTest {
 		//String className = "M";
 		//String className = "Wildcard_Andi";
 		//String className = "Box";
-		//String className = "Box_Main";
-		String className ="wildcardPair";
+		String className = "Box_Main";
+		//String className ="wildcardPair";
 		//PL 2019-10-24: genutzt fuer unterschiedliche Tests
 		path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/" + className + ".jav";
 		//path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav";
diff --git a/src/test/resources/AllgemeinTest/Box_Main.jav b/src/test/resources/AllgemeinTest/Box_Main.jav
index dabf7bf2c..0ba86f19d 100644
--- a/src/test/resources/AllgemeinTest/Box_Main.jav
+++ b/src/test/resources/AllgemeinTest/Box_Main.jav
@@ -1,6 +1,6 @@
-import java.lang.Object;
-import java.lang.Integer;
-import java.lang.String;
+class Box<A>{
+	A f;
+}
 
 class B { }