Use Temurin JVM on Jenkins

In order to pick the latest 17.x as openjdk one is stuck on 17.0.2
eclipse-tm4e · Aug 22, 2023 · 34f5ffc · 34f5ffc
1 parent 7646995
commit 34f5ffc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
 	}
 	tools {
 		maven 'apache-maven-latest'
-		jdk 'openjdk-jdk17-latest'
+		jdk 'temurin-jdk17-latest'
 	}
 	stages {
 		stage('initialize PGP') {