Build with Temurin

In order to get latest 17.x as openjdk based tool is no longer updated.
eclipse-jdt · Oct 6, 2023 · 0c7c8c3 · 0c7c8c3
1 parent 18247e0
commit 0c7c8c3
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('Build') {