diff --git a/build.gradle b/build.gradle
index 2277d732191af3099c0789a228598b26cf1eb53e..c42caf139efeb468e9255c753466eefbbdd7fe44 100644
--- a/build.gradle
+++ b/build.gradle
@@ -87,7 +87,7 @@ test {
 }
 
 task downloadPublicExamples(type: Download) {
-	src 'https://www3.hhu.de/stups/downloads/prob/source/ProB_public_examples.tgz'
+	src 'https://stups.hhu-hosting.de/downloads/prob/source/ProB_public_examples.tgz'
 	dest buildDir
 	onlyIfModified true
 }