Use temurin-jdk17-latest to run the verificaton build

As suggested at https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/2587 .
eclipse-platform · Jan 31, 2023 · a01b073 · a01b073
1 parent 2843f92
commit a01b073
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('initialize PGP') {