diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
index 69ede18c2..69ce984a8 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -673,7 +673,7 @@ public class SourceFile
         	}
         	xConstraints.add(cons);
         }
-        //typinferenzLog.debug("Karthesisches Produkt der Constraints: "+xConstraints);
+        typinferenzLog.debug("Karthesisches Produkt der Constraints: "+xConstraints);
         
         finiteClosure.generateFullyNamedTypes(globalAssumptions);
         
diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest18.jav b/test/plugindevelopment/TypeInsertTests/LambdaTest18.jav
index 161680c70..142aa2918 100644
--- a/test/plugindevelopment/TypeInsertTests/LambdaTest18.jav
+++ b/test/plugindevelopment/TypeInsertTests/LambdaTest18.jav
@@ -2,5 +2,7 @@
 class Test{
 java.lang.Integer var;
 var2 = var;
-
+void methode(){
+var = 1;
+}
 }
\ No newline at end of file
diff --git a/tools/RunJayDarwin.sh b/tools/RunJayDarwin.sh
index e61744832..12bccc1da 100755
--- a/tools/RunJayDarwin.sh
+++ b/tools/RunJayDarwin.sh
@@ -1 +1 @@
-./../tools/jay.darwin -v ./../src/mycompiler/myparser/JavaParser.jay < skeleton > ./../src/mycompiler/myparser/JavaParser.java
+./../tools/jay.darwin -v ./../src/de/dhbwstuttgart/parser/JavaParser.jay < skeleton > ./../src/de/dhbwstuttgart/parser/JavaParser.java