Use OpenJDK 17 in Jenkinsfile

yrodiere · yrodiere · commit ad91d13d7943 · 2024-09-19T10:29:56.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
         label 'Worker&&Containers'
     }
     tools {
-        jdk 'OpenJDK 11 Latest'
+        jdk 'OpenJDK 17 Latest'
         maven 'Apache Maven 3.9'
     }
     options {
