Run verification build with Temurin

Openjdk jdk is not kept uptodate.
eclipse-jdt · Sep 30, 2024 · e6598ec · e6598ec
1 parent b7a6183
commit e6598ec
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-jdk21-latest'
+		jdk 'temurin-jdk21-latest'
 	}
 	environment {
 		NON_MODULAR_JAVA_HOME = tool(type:'jdk', name:'temurin-jdk8-latest')