Build with Temurin 17 JVM

Needed so latest 17.x version is used as openjdk-jdk17-latest is stuck at 17.0.2 and won't be updated by webmaster anymore.
eclipse-jdt · Mar 22, 2023 · 3d72f8c · 3d72f8c
1 parent a7078f8
commit 3d72f8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
 	}
 	tools {
 		maven 'apache-maven-latest'
-		jdk 'openjdk-jdk17-latest'
+		jdk 'temurin-jdk17-latest'
 	}
 	stages {
 		stage('Build') {