diff --git a/build.gradle b/build.gradle
index 8daec41bd59d2fac6db4bb61cc17e54c4350ed12..40bf160ae8450589d027d7d434dc89c3f2e051ee 100644
--- a/build.gradle
+++ b/build.gradle
@@ -90,11 +90,14 @@ jar { from sourceSets.main.allJava }
 jar	{
 	from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) }
 }
-manifest {
-    attributes "Main-Class" : 'de.tlc4b.TLC4B'
-    attributes "Class-Path": './tla/ tlatools.jar'
+jar {
+    manifest {
+        attributes "Main-Class" : 'de.tlc4b.TLC4B'
+        attributes "Class-Path": './tla/ tlatools.jar'
+    }
 }
 
+
 task tlc4b(dependsOn: build) << {
 	copy {
 		from('build/libs/')