From fdffc11580d8bceacea426090a5db20c085b3719 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Wed, 24 Jul 2024 23:23:39 +0200
Subject: [PATCH] 	modified:   resources/AllgemeinTest/Box.jav 
 deleted:    resources/bytecode/javFiles/Box.java 	modified:  
 src/test/java/AllgemeinTest.java

---
 resources/AllgemeinTest/Box.jav      | 5 +++--
 resources/bytecode/javFiles/Box.java | 3 ---
 src/test/java/AllgemeinTest.java     | 3 ++-
 3 files changed, 5 insertions(+), 6 deletions(-)
 delete mode 100644 resources/bytecode/javFiles/Box.java

diff --git a/resources/AllgemeinTest/Box.jav b/resources/AllgemeinTest/Box.jav
index b2716354..95b869ab 100644
--- a/resources/AllgemeinTest/Box.jav
+++ b/resources/AllgemeinTest/Box.jav
@@ -1,8 +1,9 @@
-class Box<A> {
+public class Box<A> {
 
 	A a;
 
+	public Box() { }
 	public Box(A a) {
-		this.a = a;
+		//this.a = a;
 	}
 }
\ No newline at end of file
diff --git a/resources/bytecode/javFiles/Box.java b/resources/bytecode/javFiles/Box.java
deleted file mode 100644
index 581e7256..00000000
--- a/resources/bytecode/javFiles/Box.java
+++ /dev/null
@@ -1,3 +0,0 @@
-class Box<A> {
-    void m(A a) { }
-}
\ No newline at end of file
diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java
index adc91ad6..461dd557 100644
--- a/src/test/java/AllgemeinTest.java
+++ b/src/test/java/AllgemeinTest.java
@@ -66,7 +66,8 @@ public class AllgemeinTest {
 		//String className = "WildcardList";
 		//String className = "List";
 		//String className = "Box";
-		String className = "GenBox";
+		//String className = "GenBox";
+		String className = "InnerInf";
 		//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";