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

---
 Jenkinsfile | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e9d27ee..6aa78e2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,10 +4,9 @@ pipeline {
     options {
         disableConcurrentBuilds()
     }
-    agent any {
-        tools {
-            jdk 'JDK 25'
-        }
+    agent any
+    tools {
+        jdk 'JDK 25'
     }
 
 /*