From 18429d9cf96d2f9f89e8cdac525fa6be03ce1bf9 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Tue, 18 Jul 2023 11:45:17 +0200
Subject: [PATCH] Iteration.jav Pair ausgeklammert

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

diff --git a/resources/AllgemeinTest/Iteration.jav b/resources/AllgemeinTest/Iteration.jav
index c0b9dd65..2af750a4 100644
--- a/resources/AllgemeinTest/Iteration.jav
+++ b/resources/AllgemeinTest/Iteration.jav
@@ -1,4 +1,4 @@
-
+/*
 class Pair<T, U> {
 	T x;
 	U y;
@@ -17,7 +17,7 @@ class Pair<T, U> {
 		return y;
     }
 }
-
+*/
 
 public class Iteration {
     id(x) {
diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java
index 46520d61..43ea42b3 100644
--- a/src/test/java/AllgemeinTest.java
+++ b/src/test/java/AllgemeinTest.java
@@ -41,7 +41,7 @@ public class AllgemeinTest {
 		//String className = "Var";
 		//String className = "Put";
 		//String className = "Twice";
-		String className = "Twice2";
+		//String className = "Twice2";
 		//String className = "TestSubTypless";
 		//String className = "addList";
 		//String className = "M";
@@ -57,7 +57,7 @@ public class AllgemeinTest {
 		//String className = "UseWildcardPair";
 		//String className = "Assign";
 		//String className = "StreamTest";
-		//String className = "Iteration";
+		String className = "Iteration";
 		//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";