diff --git a/Jenkinsfile b/Jenkinsfile
index c0a216d5b..bb0d119a0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,8 +9,9 @@ pipeline {
     
     stage('Build') {
       steps {
+	    sh 'update-alternatives --set java /usr/lib/jvm/zulu8/bin/java'
 	    sh 'chmod +x scripts/inst.sh'
-        sh './scripts/inst.sh --setup --fast --remote'
+            sh './scripts/inst.sh --setup --fast --remote'
       }
     }