Update Jenkinsfile

Jenkinsfile

@@ -15,12 +15,18 @@ pipeline {
         stage('Install JDK 25') {
             steps {
                 sh '''
-                    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" \
+                    if [ ! -d "/opt/jdk25/bin" ]; then
+                        echo "Installing JDK 25..."
+                        curl -L "https://api.adoptium.net/v3/binary/latest/25/ga/linux/x64/jdk/hotspot/normal/eclipse" \
                             -o /tmp/jdk25.tar.gz
+        
+                        rm -rf /opt/jdk25
                         mkdir -p /opt/jdk25
+        
                         tar -xzf /tmp/jdk25.tar.gz -C /opt/jdk25 --strip-components=1
                     fi
+        
+                    ls -la /opt/jdk25/bin
                 '''
             }
         }