From 34a5231081ee6981360e84a9b955026b5f6dc5da Mon Sep 17 00:00:00 2001
From: Michel ten Voorde <michel@tenvoorde.org>
Date: Fri, 24 Oct 2025 14:42:31 +0200
Subject: [PATCH] Use Java 25 on Jenkins

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d06c3c1..e9d27ee 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@ pipeline {
     }
     agent any {
         tools {
-            jdk 'Java 25'
+            jdk 'JDK 25'
         }
     }