diff --git a/build.gradle b/build.gradle
index b3b707af1a07cd484b0a4c0c003099f7a460eb65..205642b5ddc596bef7f8ca1338034bc4c8114a79 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,7 +1,12 @@
+// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'
 
-targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
 
-groupID = "de.prob"
+project.ext{
+	
+	targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
+
+	groupID = "de.prob"
+}
 
 apply from: 'tycho_build.gradle'
 
@@ -64,16 +69,16 @@ def download(address,target) {
 }
 
 task downloadCli << {
-		dir = workspacePath+'de.prob.core/prob/'
+		def dir = workspacePath+'de.prob.core/prob/'
 		delete file(dir)
 	    new File(dir).mkdirs() 
 	
 		['leopard64':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each {
-		n = it.getKey()
+		def n = it.getKey()
 	
-		targetdir = dir+it.getValue()
-		targetzip = dir+"probcli_${n}.zip"
-		url = "http://nightly.cobra.cs.uni-duesseldorf.de/cli/probcli_${n}.zip"
+		def targetdir = dir+it.getValue()
+		def targetzip = dir+"probcli_${n}.zip"
+		def url = "http://nightly.cobra.cs.uni-duesseldorf.de/cli/probcli_${n}.zip"
 		download(url,targetzip)
 	    FileTree zip = zipTree(targetzip)
 	    copy {
@@ -83,8 +88,8 @@ task downloadCli << {
 		delete file(targetzip)
 	}
 
-	targetdir = dir+"windows/"
-	targetzip = targetdir+"windowslib.zip"
+	def targetdir = dir+"windows/"
+	def targetzip = targetdir+"windowslib.zip"
 	download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
 	FileTree zip = zipTree(targetzip)
 	    copy {