diff --git a/build.gradle b/build.gradle
index 4a0272b187342ac851e1d7063cef046d802c6e92..d4a79c46670fcf2a475a7e36107dd35c4a0e2d64 100644
--- a/build.gradle
+++ b/build.gradle
@@ -8,6 +8,9 @@ apply plugin: 'application'
 
 repositories {
     mavenCentral()
+    flatDir {
+       dirs 'libs'
+   }
 }
 
 configurations {
@@ -25,9 +28,9 @@ sourceSets {
 sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
 
 dependencies {
-    sablecc(group: 'de.hhu.stups', name: 'sablecc', version: '3.2.10')
+    sablecc 'de.hhu.stups:sablecc:3.2.10'
     compile 'de.hhu.stups:prologlib:2.4.40'
-    compile 'kodkod:kodkod:2.0.0'
+    compile name: 'kodkod'
     compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
     testCompile 'junit:junit:4.8.2'
  }
@@ -55,23 +58,24 @@ test {
 
 mainClassName = 'de.stups.probkodkod.KodkodInteraction'
 
+javadoc {
+  failOnError= false
+}
 
-
-//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')) {
 
diff --git a/libs/kodkod.jar b/libs/kodkod.jar
new file mode 100644
index 0000000000000000000000000000000000000000..86abc3e7e5c2e98f1b394bd5edcdaa96ecb03515
Binary files /dev/null and b/libs/kodkod.jar differ