diff --git a/build.gradle b/build.gradle
index d68f7977621d224d0ef3d42175edaf4dba51b45a..2e6b66c6aad8a5fdc056079bb5f9a7be6e17488e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -76,8 +76,12 @@ jar	{
 	from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) }
 }
 
-manifest.mainAttributes("Main-Class" : 'de.tla2b.TLA2B')
-manifest.mainAttributes("Class-Path": './tla/ tlatools.jar')
+jar {
+	manifest {
+		attributes "Main-Class" : 'de.tla2b.TLA2B'
+		attributes "Class-Path": './tla/ tlatools.jar'
+	}
+}
 
 task tla2b(dependsOn: build) << {
 	copy {