diff --git a/build.gradle b/build.gradle
index 555420f50e18f629f023a005cc81e05fac268b8a..5e0eb0d59e2cf83d041cc0b90d6efb2dfd783257 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"
 	}
 }
 
@@ -24,20 +29,20 @@ dependencies {
 	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
 	compile (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT')
 	
-	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')
 
 	testCompile (group: 'junit', name: 'junit', version: '4.7')
 
 	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 {