diff --git a/build.gradle b/build.gradle
index 27ec8e87964b724ea0226f38bea62ed4550aa1c2..a6b2311763f7260775a24f39de22f9d930d58e29 100644
--- a/build.gradle
+++ b/build.gradle
@@ -9,8 +9,13 @@ project.group = 'de.prob'
 
 repositories {
 	mavenCentral()
+        maven {
+		name "sonatype snapshots"
+		url "https://oss.sonatype.org/content/repositories/snapshots"
+	}
 	maven {
-	    	url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
+		name "cobra"
+		url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
 	}
 }
 
@@ -28,10 +33,10 @@ dependencies {
 	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
 	compile (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT', changing: true)
 	
-	compile (group: 'de.prob', name: 'prologlib', version: parser_version)
-	compile (group: 'de.prob', name: 'parserbase', version: parser_version)
-	compile (group: 'de.prob', name: 'bparser', version: parser_version)
-	compile (group: 'de.prob', name: 'ltlparser', version: parser_version)
+	compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
+	compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
+	compile (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
+	compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 	
 	//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
@@ -39,10 +44,10 @@ dependencies {
     testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.5-SNAPSHOT')
 
 	releaseJars (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT')
-	releaseJars (group: 'de.prob', name: 'prologlib', version: parser_version)
-	releaseJars (group: 'de.prob', name: 'parserbase', version: parser_version)
-	releaseJars (group: 'de.prob', name: 'bparser', version: parser_version)
-	releaseJars (group: 'de.prob', name: 'ltlparser', version: parser_version)
+	releaseJars (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
+	releaseJars (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
+	releaseJars (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
+	releaseJars (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 }
 
 jacoco {