Update Jenkinsfile for Java 11

jenkinsci · Dec 19, 2021 · b41eef1 · b41eef1
1 parent a79d00c
commit b41eef1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -13,7 +13,7 @@ node('java') {
 
         stage('Build') {
             withEnv([
-                "JAVA_HOME=${tool 'jdk8'}",
+                "JAVA_HOME=${tool 'jdk11'}",
                 "PATH+MVN=${tool 'mvn'}/bin",
                 'PATH+JDK=$JAVA_HOME/bin',
             ]) {