diff --git a/.gitignore b/.gitignore
index a897efd8a..2d0d6112e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,9 @@ bin
#
manually/
+
+logFiles/**
+!logFiles/.gitkeep
+
+src/main/java/de/dhbwstuttgart/parser/antlr/
+src/main/java/de/dhbwstuttgart/sat/asp/parser/antlr/
diff --git a/PlugInBau.txt b/PlugInBau.txt
deleted file mode 100644
index a76097ad7..000000000
--- a/PlugInBau.txt
+++ /dev/null
@@ -1,22 +0,0 @@
-Repositories: Branches: JavaCompilerCore: simplyRes
- JavaCompilerPlugin: copy_libs
-JavaCompilerCore > mvn install -Dskip.test=true
-
-[INFO] Installing /Users/pl/workspace_oxygen/JavaCompilerCore/target/JavaTXcompiler-0.2.jar to /Users/pl/.m2/repository/de/dhbwstuttgart/JavaTXcompiler/0.2/JavaTXcompiler-0.2.jar
-[INFO] Installing /Users/pl/workspace_oxygen/JavaCompilerCore/pom.xml to /Users/pl/.m2/repository/de/dhbwstuttgart/JavaTXcompiler/0.2/JavaTXcompiler-0.2.pom
-[INFO] Installing /Users/pl/workspace_oxygen/JavaCompilerCore/target/JavaTXcompiler-0.2-jar-with-dependencies.jar to /Users/pl/.m2/repository/de/dhbwstuttgart/JavaTXcompiler/0.2/JavaTXcompiler-0.2-jar-with-dependencies.jar
-[INFO] ------------------------------------------------------------------------
-[INFO] BUILD SUCCESS
-[INFO] ------------------------------------------------------------------------
-[INFO] Total time: 23.279 s
-[INFO] Finished at: 2019-09-17T09:31:30+02:00
-[INFO] -------------------------------------
-
-JavaCompilerCore > cd target
-
-JavaCompilerCore/target > cp JavaTXcompiler-0.2.jar ../../Plugin_JCC/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/lib/JavaTXcompiler.jar
-
-Im Eclipse: Plugin_JCC/JavaCompilerPlugin> mvn install
-
-Plugin_JCC/JavaCompilerPlugin/releng/JavaCompilerPlugin.Update/target > cp JavaCompilerPlugin.Update-0.1.0-SNAPSHOT.zip ~/webdav/public_html/javatx/javatx_XXXXXX.zip
-
diff --git a/PluginBau.docx b/PluginBau.docx
deleted file mode 100644
index 6b387c710..000000000
Binary files a/PluginBau.docx and /dev/null differ
diff --git a/Website/JavaTXExamples.zip b/Website/JavaTXExamples.zip
deleted file mode 100644
index db9eb324b..000000000
Binary files a/Website/JavaTXExamples.zip and /dev/null differ
diff --git a/Website/index.html b/Website/index.html
deleted file mode 100644
index 0253da16e..000000000
--- a/Website/index.html
+++ /dev/null
@@ -1,88 +0,0 @@
-
-
-Java-TX Plugin
-
-Java-TX Plugin
-
-Content
-
-
-
-Introduction
-Java-TX (Java Type eXtended) is an extension of Java in which a global type inference algorithm and real function types are added. Since the end of the nineties features from functional program- ming languages have been transferred to Java. Parametric polymorphism extended by wildcards, called generics, were transfered to Java 5.0. Higher-order functions and lambda expression were introduced in Java 8. Java 8 uses functional interfaces as target types of lambda expressions in contrast to real function types as in functional programming languages.
-The powerful feature type inference from functional programming languages is incorporated into Java, as into other object-oriented
-languages, i.e. only in a restricted way called local type inference. Local type inference allows certain type annotations to be omitted. For instance, it is often not necessary to specify the type of a variable. Type parameters of classes in the new-statement can be left out. Return types of methods can often also be omitted. Local type inference is at its most pronounced in Scala. In Java 10 an extention of local type inference is introduced, where types of local variables can be replaced by the keyword var and inferred automatically during the compilation. In contrast to global type inference, local type inference allows types of recursive methods and lambda expressions not to be omitted.
-The Java-TX project contributes to the design of object-oriented languages by developing global type inference algorithms for Java-like languages.
-
-First Example
-The class Id has the method id. The type annotations are omitted.
-
-
-
- class Id {
- id(x) {
- return x;
- }
- }
-
-The type inference algorithm inferrs the types, such that Id can be applied:
-
- new Id().id(1);
-
- new Id().id("hallo");
-
-
-More complex example
-
- import java.lang.Integer;
- import java.lang.Double;
- import java.lang.String;
-
-
- class OL {
- m(x) { return x + x; }
-
- }
-
-
- class OLMain {
- main(x) {
- var ol;
- ol = new OL();
- return ol.m(x);
- }
- }
-
-The type inference mechanism considers only imported types. Therefore Integer Double, and String are imported.
-
-As the operator + is overloaded by all numeric types and String the methods m in the class OL and main in the class OLMain, respectively, gets all these types. The generated classfile demonstrates this:
-
-> javap OL.class
-Compiled from "OL.jav"
-class OL {
- public OL();
- public java.lang.Integer m(java.lang.Integer);
- public java.lang.Double m(java.lang.Double);
-}
-
-> javap OLMain.class
-Compiled from "OLMain.jav"
-class OLMain {
- public OLMain();
- public java.lang.Integer main(java.lang.Integer);
- public java.lang.Double main(java.lang.Double);
-}
-
-
-
-
-
-Last modified: Fri Jun 1 16:43:55 CEST 2018
-