Temporarily use OpenJDK 25

brett-smith · brett-smith · commit 6a2cbaab374c · 2025-11-03T23:20:29.000Z
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,8 +1,8 @@
 pipeline {
  	agent none
  	tools {
-		maven 'Maven 3.9.0' 
-		jdk 'Graal JDK 24' 
+		maven 'Maven 3.9.11' 
+		jdk 'OpenJDK 25' 
 	} 
 	
 	environment {
