diff --git a/bin/mycompiler/myparser/JavaParser.jay b/bin/mycompiler/myparser/JavaParser.jay
index c174b9359..992ac242a 100755
--- a/bin/mycompiler/myparser/JavaParser.jay
+++ b/bin/mycompiler/myparser/JavaParser.jay
@@ -1393,10 +1393,10 @@ formalparameter     : 	type variabledeclaratorid
 	
 	                        // #JB# 31.03.2005
 	                        // ###########################################################
-	                        Type T = TypePlaceholder.fresh();
+	                        //Type T = TypePlaceholder.fresh(); //auskommentiert von Andreas Stadelmeier
 							// Type T = new TypePlaceholder(""); /* otth: Name wird automatisch berechnet */
 	                        // ###########################################################
-	                        org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName());
+	                        //org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName());
 	
 							//auskommentiert von Andreas Stadelmeier (a10023) FP.setType( T );
 							FP.set_DeclId($1);
diff --git a/bin/mycompiler/test/lambda/testResults/LambdaTest.log b/bin/mycompiler/test/lambda/testResults/LambdaTest.log
index e745febf1..e69de29bb 100644
--- a/bin/mycompiler/test/lambda/testResults/LambdaTest.log
+++ b/bin/mycompiler/test/lambda/testResults/LambdaTest.log
@@ -1,520 +0,0 @@
-Class           DEBUG [Typeinference] Erstellte Assumptions: Set {
-method: java.lang.String --> TPH CV,
-var: TPH CU,
-toAppend: java.lang.String,
-<init>: NOPARAS --> LambdaTest1
-}
-Block           DEBUG [Typeinference] Prozessing statement: null Return null (( [ java.lang.String text, ]) -> null { [null Return toAppend])
-Block           DEBUG [Typeinference] Prozessing statement: null Return toAppend
-Block           DEBUG [Typeinference] Prozessing statement: TPH CY Return toAppend: java.lang.String
-Block           DEBUG [Typeinference] Prozessing statement: TPH CZ Return TPH CX (( [ java.lang.String text, ]) -> TPH CY { [TPH CY Return toAppend: java.lang.String])
-Class           DEBUG [Typeinference] Erstellte Constraints: String < TPH CU
-TPH CU < TPH CW
-java.lang.String < TPH CY
-Fun1< TPH CY, java.lang.String > < TPH CX
-TPH CX < TPH CZ
-TPH CZ < TPH CV
-
-Class           DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(String <. TPH CU), (TPH CU <. TPH CW), (java.lang.String <. TPH CY), (Fun1< TPH CY, java.lang.String > <. TPH CX), (TPH CX <. TPH CZ), (TPH CZ <. TPH CV)]]
-Class           DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]]
-Class           DEBUG [Typeinference] Typinformationen: 
-LambdaTest1: (TPH CU var = "test" : String) : void
-Methode [method] Parameter: java.lang.String toAppend, Block: 
-TPH CZ :: (Return TPH CX :: (java.lang.String text) -> 
-TPH CY :: (Return java.lang.String toAppend)
-)
-
-
-Class           DEBUG [Typeinference] 
-JavaFiles:
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
diff --git a/src/mycompiler/MyCompiler.java b/src/mycompiler/MyCompiler.java
index 893bf6cd9..74777a752 100755
--- a/src/mycompiler/MyCompiler.java
+++ b/src/mycompiler/MyCompiler.java
@@ -349,7 +349,7 @@ public class MyCompiler implements MyCompilerAPI
     
                         // #JB# 31.03.2005
                         // ###########################################################
-                        Methode.setReturnType(TypePlaceholder.fresh());
+                        Methode.setReturnType(TypePlaceholder.fresh(Methode));
                         //Methode.setReturnType( new TypePlaceholder("###NEU###") );
                         // ###########################################################
     
diff --git a/src/mycompiler/myclass/Constant.java b/src/mycompiler/myclass/Constant.java
index f6a784031..cd2c6a1bf 100755
--- a/src/mycompiler/myclass/Constant.java
+++ b/src/mycompiler/myclass/Constant.java
@@ -19,6 +19,7 @@ import mycompiler.mystatement.Expr;
 import mycompiler.mystatement.Literal;
 import mycompiler.mytype.Type;
 // ino.end
+import mycompiler.mytypereconstruction.replacementlistener.CReplaceTypeEvent;
 
 // ino.class.Constant.23212.description type=javadoc
 /**
@@ -221,5 +222,17 @@ public class Constant extends FieldDecl
 		//return null;
 	}
 
+	@Override
+	public void replaceType(CReplaceTypeEvent e) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public int getTypeLineNumber() {
+		// TODO Auto-generated method stub
+		return 0;
+	}
+
 }
 // ino.end
diff --git a/src/mycompiler/myclass/FieldInitialization.java b/src/mycompiler/myclass/FieldInitialization.java
index 6a2c59456..b6d611576 100755
--- a/src/mycompiler/myclass/FieldInitialization.java
+++ b/src/mycompiler/myclass/FieldInitialization.java
@@ -77,7 +77,7 @@ public class FieldInitialization extends InstVarDecl {
 		 * TODO: Der Feld-Assumption muss ein TPH als Typ hinzugefügt werden, falls er Typlos initialisiert wurde. Dies kann auch der Type-Algorithmus der Inst/FieldVar - Klasse machen.
 		 * Wird das Feld mit einem Typ initialisiert so muss dieser auch in die Assumptions.
 		 */
-		if(this.getType() == null)this.setType(TypePlaceholder.fresh());
+		if(this.getType() == null)this.setType(TypePlaceholder.fresh(this));
 		assumptions.add(TypeAssumptions.createFieldVarAssumption(classmember.getName(), this.getName(), this.getType()));
 		classmember.get_ClassBody().addFieldInitialization(this);
 		return assumptions;
diff --git a/src/mycompiler/myparser/JavaParser.java b/src/mycompiler/myparser/JavaParser.java
index 2a1b16617..798fc6b43 100644
--- a/src/mycompiler/myparser/JavaParser.java
+++ b/src/mycompiler/myparser/JavaParser.java
@@ -1957,10 +1957,10 @@ case 148:
 	
 	                        /* #JB# 31.03.2005*/
 	                        /* ###########################################################*/
-	                        Type T = TypePlaceholder.fresh();
+	                        /*Type T = TypePlaceholder.fresh(); //auskommentiert von Andreas Stadelmeier*/
 							/* Type T = new TypePlaceholder(""); /* otth: Name wird automatisch berechnet * /*/
 	                        /* ###########################################################*/
-	                        org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName());
+	                        //org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName());
 	
 							/*auskommentiert von Andreas Stadelmeier (a10023) FP.setType( T );*/
 							FP.set_DeclId(((DeclId)yyVals[0+yyTop]));
diff --git a/src/mycompiler/myparser/JavaParser.jay b/src/mycompiler/myparser/JavaParser.jay
index c174b9359..992ac242a 100755
--- a/src/mycompiler/myparser/JavaParser.jay
+++ b/src/mycompiler/myparser/JavaParser.jay
@@ -1393,10 +1393,10 @@ formalparameter     : 	type variabledeclaratorid
 	
 	                        // #JB# 31.03.2005
 	                        // ###########################################################
-	                        Type T = TypePlaceholder.fresh();
+	                        //Type T = TypePlaceholder.fresh(); //auskommentiert von Andreas Stadelmeier
 							// Type T = new TypePlaceholder(""); /* otth: Name wird automatisch berechnet */
 	                        // ###########################################################
-	                        org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName());
+	                        //org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName());
 	
 							//auskommentiert von Andreas Stadelmeier (a10023) FP.setType( T );
 							FP.set_DeclId($1);
diff --git a/src/mycompiler/mystatement/Block.java b/src/mycompiler/mystatement/Block.java
index 0c3621c1f..6ea730da8 100755
--- a/src/mycompiler/mystatement/Block.java
+++ b/src/mycompiler/mystatement/Block.java
@@ -243,7 +243,7 @@ public class Block extends Statement
 						throw new TypinferenzException("Falscher Return Type");
 					}
 					else {
-						TypePlaceholder tph = TypePlaceholder.fresh();
+						TypePlaceholder tph = TypePlaceholder.fresh(this);
 						ret.add(new SingleConstraint(this.getTypeVariable(), tph));
 						ret.add(new SingleConstraint(stmt.getTypeVariable(), tph));
 						this.setTypeVariable(tph);
diff --git a/src/mycompiler/mytype/RefType.java b/src/mycompiler/mytype/RefType.java
index 8ba53664e..f44257727 100755
--- a/src/mycompiler/mytype/RefType.java
+++ b/src/mycompiler/mytype/RefType.java
@@ -7,14 +7,18 @@ import java.util.Enumeration;
 import java.util.Hashtable;
 import java.util.Iterator;
 import java.util.Vector;
+
 import mycompiler.mybytecode.JVMCode;
 import mycompiler.myclass.UsedId;
 import mycompiler.myexception.SCException;
 import mycompiler.mytypereconstruction.CSubstitutionGenVar;
 import mycompiler.mytypereconstruction.set.CSubstitutionSet;
+
 import org.apache.log4j.Logger;
 // ino.end
 
+
+import sun.reflect.generics.reflectiveObjects.NotImplementedException;
 import typinferenz.JavaCodeResult;
 import typinferenz.ResultSet;
 
@@ -163,6 +167,8 @@ public class RefType extends Type implements IMatchable
     // ino.end
     // ino.method.GenericTypeVar2TypePlaceholder.26652.body 
     {
+    	throw new NotImplementedException();
+    	/*
         CSubstitutionSet sub = new CSubstitutionSet();
         if(parameter != null)
         {
@@ -182,6 +188,7 @@ public class RefType extends Type implements IMatchable
         	}
         }
         return sub;
+    */
     }
     // ino.end
 
diff --git a/src/mycompiler/mytype/TypePlaceholder.java b/src/mycompiler/mytype/TypePlaceholder.java
index c996f9aa8..9d5105902 100755
--- a/src/mycompiler/mytype/TypePlaceholder.java
+++ b/src/mycompiler/mytype/TypePlaceholder.java
@@ -87,7 +87,7 @@ public class TypePlaceholder extends Type implements IReplaceTypeEventProvider
      */
     // ino.end
     // ino.method.fresh.26800.definition 
-    public static TypePlaceholder fresh()
+    private static TypePlaceholder fresh()
     // ino.end
     // ino.method.fresh.26800.body 
     {
diff --git a/src/typinferenz/Typable.java b/src/typinferenz/Typable.java
index 70fc197ee..ad736dc5d 100755
--- a/src/typinferenz/Typable.java
+++ b/src/typinferenz/Typable.java
@@ -1,6 +1,7 @@
 package typinferenz;
 
 import mycompiler.mytype.Type;
+import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener;
 
 public interface Typable {
 	/**
diff --git a/src/typinferenz/TypeInsertable.java b/src/typinferenz/TypeInsertable.java
index fdf807ee4..185655532 100644
--- a/src/typinferenz/TypeInsertable.java
+++ b/src/typinferenz/TypeInsertable.java
@@ -1,5 +1,7 @@
 package typinferenz;
 
-public interface TypeInsertable {
+import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener;
+
+public interface TypeInsertable extends ITypeReplacementListener {
 
 }
diff --git a/src/typinferenz/assumptions/TypeAssumptions.java b/src/typinferenz/assumptions/TypeAssumptions.java
index 7827779ca..f56748948 100755
--- a/src/typinferenz/assumptions/TypeAssumptions.java
+++ b/src/typinferenz/assumptions/TypeAssumptions.java
@@ -224,7 +224,7 @@ public class TypeAssumptions implements Iterable<CTypeAssumption> {
 	 * @return
 	 */
 	public TypeAssumptions add(CTypeAssumption ass){
-		if(ass.getAssumedType()==null)ass.setAssumedType(TypePlaceholder.fresh());
+		if(ass.getAssumedType()==null)throw new NullPointerException();//ass.setAssumedType(TypePlaceholder.fresh());
 
 		//if(ass instanceof CParaTypeAssumption)throw new TypinferenzException("ParameterAssumptions müssen einer Methode zugewiesen sein");
 
diff --git a/test/mycompiler/test/lambda/testResults/LambdaTest.log b/test/mycompiler/test/lambda/testResults/LambdaTest.log
index e745febf1..e69de29bb 100644
--- a/test/mycompiler/test/lambda/testResults/LambdaTest.log
+++ b/test/mycompiler/test/lambda/testResults/LambdaTest.log
@@ -1,520 +0,0 @@
-Class           DEBUG [Typeinference] Erstellte Assumptions: Set {
-method: java.lang.String --> TPH CV,
-var: TPH CU,
-toAppend: java.lang.String,
-<init>: NOPARAS --> LambdaTest1
-}
-Block           DEBUG [Typeinference] Prozessing statement: null Return null (( [ java.lang.String text, ]) -> null { [null Return toAppend])
-Block           DEBUG [Typeinference] Prozessing statement: null Return toAppend
-Block           DEBUG [Typeinference] Prozessing statement: TPH CY Return toAppend: java.lang.String
-Block           DEBUG [Typeinference] Prozessing statement: TPH CZ Return TPH CX (( [ java.lang.String text, ]) -> TPH CY { [TPH CY Return toAppend: java.lang.String])
-Class           DEBUG [Typeinference] Erstellte Constraints: String < TPH CU
-TPH CU < TPH CW
-java.lang.String < TPH CY
-Fun1< TPH CY, java.lang.String > < TPH CX
-TPH CX < TPH CZ
-TPH CZ < TPH CV
-
-Class           DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(String <. TPH CU), (TPH CU <. TPH CW), (java.lang.String <. TPH CY), (Fun1< TPH CY, java.lang.String > <. TPH CX), (TPH CX <. TPH CZ), (TPH CZ <. TPH CV)]]
-Class           DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]]
-Class           DEBUG [Typeinference] Typinformationen: 
-LambdaTest1: (TPH CU var = "test" : String) : void
-Methode [method] Parameter: java.lang.String toAppend, Block: 
-TPH CZ :: (Return TPH CX :: (java.lang.String text) -> 
-TPH CY :: (Return java.lang.String toAppend)
-)
-
-
-Class           DEBUG [Typeinference] 
-JavaFiles:
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? extends java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? extends java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-
-Class           DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]
-
-Class           DEBUG [Typeinference] class LambdaTest1 extends Object
-{
-String var = "test";
-Fun1<? super java.lang.String, ? super java.lang.String> method()
-{
-return (java.lang.String text) -> {
-return toAppend;
-};
-}
-}
-
-