migrate build to gradle 2

build.gradle

@@ -4,18 +4,24 @@ project.group = 'de.stups'
 buildscript {
     repositories {
         mavenCentral()
+        jcenter()
     }
 
     dependencies {
-        classpath 'eu.appsatori:gradle-fatjar-plugin:0.2-rc1'
+    //    classpath 'eu.appsatori:gradle-fatjar-plugin:0.2-rc1'
+        classpath 'com.github.jengelman.gradle.plugins:shadow:1.2.2'
     }
 }
 
 
+
+
 apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
-apply plugin: 'fatjar'
+//apply plugin: 'fatjar'
+apply plugin: 'application'
+apply plugin: 'com.github.johnrengelman.shadow'
 
 
 repositories {
@@ -68,7 +74,14 @@ 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'
@@ -77,8 +90,3 @@ jar {
  include '**/*.properties'
  from configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
 }
-
-
-
-
-