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 {