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

---
 Jenkinsfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5000e8f..d06c3c1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,11 @@ pipeline {
     options {
         disableConcurrentBuilds()
     }
-    agent any
+    agent any {
+        tools {
+            jdk 'Java 25'
+        }
+    }
 
 /*
     agent {