Use temurin in order to get latest Java 17

eclipse-tycho · Dec 12, 2023 · d1204d9 · d1204d9
1 parent 6b01be6
commit d1204d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -19,7 +19,7 @@ pipeline {
 	}
 	tools {
 		maven 'apache-maven-3.9.1'
-		jdk 'openjdk-jdk17-latest'
+		jdk 'temurin-jdk17-latest'
 	}
 	stages {
 		stage('Build') {