diff --git a/build.gradle b/build.gradle
index 2a591f1f4e832b044a71cf1c88ecab672adec366..6fadc4e8447a1a8e9a90b9ad04ab4a22faf6a550 100644
--- a/build.gradle
+++ b/build.gradle
@@ -56,22 +56,22 @@ test {
 mainClassName = 'de.stups.probkodkod.KodkodInteraction'
 
 
-/*
-jar {
- manifest {
-       attributes 'Main-Class': mainClassName,
-                  'Implementation-Title': 'ProB Kodkod',
-                  'Implementation-Version': project.version
-   }
- include '**/*.class'
- include '**/*.java'
- exclude '**.*.scc'
- from 'build/temp'
- include '**/*.dat'
- include '**/*.properties'
- from configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
-}
-*/
+
+//jar {
+// manifest {
+//       attributes 'Main-Class': mainClassName,
+//                  'Implementation-Title': 'ProB Kodkod',
+//                  'Implementation-Version': project.version
+//   }
+// include '**/*.class'
+// include '**/*.java'
+// exclude '**.*.scc'
+// from 'build/temp'
+// include '**/*.dat'
+// include '**/*.properties'
+// from configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
+//}
+
 
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {