diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index f639b1a1b4db25683aa7e9837c29e8504b49d8db..0e34dfea65f16662d4448d5c2a8db198abf2906a 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -5,13 +5,9 @@ apply plugin: "signing"
 
 project.version = '1.1.0-SNAPSHOT'
 project.group = 'de.hhu.stups'
-project.archivesBaseName = 'tlatools'
 
 final isSnapshot = project.version.endsWith("-SNAPSHOT")
 
-project.sourceCompatibility = JavaVersion.VERSION_1_8
-project.targetCompatibility = JavaVersion.VERSION_1_8
-
 repositories {
 	mavenCentral()
 }
@@ -28,6 +24,8 @@ sourceSets {
 }
 
 java {
+	sourceCompatibility = JavaVersion.VERSION_1_8
+
 	withSourcesJar()
 	withJavadocJar()
 }
diff --git a/tlatools/org.lamport.tlatools/settings.gradle b/tlatools/org.lamport.tlatools/settings.gradle
new file mode 100644
index 0000000000000000000000000000000000000000..df3f06935ab0e2616491fc3cf72db4899bac48e5
--- /dev/null
+++ b/tlatools/org.lamport.tlatools/settings.gradle
@@ -0,0 +1 @@
+rootProject.name = "tlatools"