Update Jenkinsfile

Jenkinsfile

@@ -12,18 +12,26 @@ pipeline {
             }
         }
 
-        stage('Install Tools') {
+        stage('Install JDK 25') {
             steps {
                 sh '''
-                    apt-get update -q
-                    apt-get install -y maven
+                    if ! java -version 2>&1 | grep -q "25"; then
+                        curl -sL "https://api.adoptium.net/v3/binary/latest/25/ga/linux/x64/jdk/hotspot/normal/eclipse" \
+                            -o /tmp/jdk25.tar.gz
+                        mkdir -p /opt/jdk25
+                        tar -xzf /tmp/jdk25.tar.gz -C /opt/jdk25 --strip-components=1
+                    fi
                 '''
             }
         }
 
         stage('Build') {
             steps {
-                sh 'mvn -B verify'
+                sh '''
+                    export JAVA_HOME=/opt/jdk25
+                    export PATH=$JAVA_HOME/bin:$PATH
+                    mvn -B verify
+                '''
             }
         }