fixed gradle file

build.gradle

@@ -90,10 +90,13 @@ jar { from sourceSets.main.allJava }
 jar	{
 	from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) }
 }
+jar {
     manifest {
         attributes "Main-Class" : 'de.tlc4b.TLC4B'
         attributes "Class-Path": './tla/ tlatools.jar'
     }
+}
+
 
 task tlc4b(dependsOn: build) << {
 	copy {