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'
     }
 
 /*