Jenkins: Use JDK 8

marcphilipp · marcphilipp · commit e5123d018ca5 · 2018-01-15T13:53:33.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
   agent { label 'hi-speed' }
   tools {
-    jdk 'Oracle JDK 9'
+    jdk 'Oracle JDK 8 (latest)'
   }
   options {
     ansiColor('xterm')
