#68: Jenkinsfile-Fixes (maven-tool, cleanWs, doppelter Checkout)

Jenkinsfile

@@ -8,6 +8,10 @@
 pipeline {
     agent any
 
+    tools {
+        maven 'maven-3'
+    }
+
     // MAJOR und MINOR werden manuell als Jenkins-Parameter gepflegt.
     // BUILD_NUMBER wird automatisch durch Jenkins vergeben.
     // Die resultierende Versionsnummer lautet: MAJOR.MINOR.BUILD_NUMBER
@@ -36,12 +40,6 @@ pipeline {
 
     stages {
 
-        stage('Checkout') {
-            steps {
-                checkout scm
-            }
-        }
-
         // Optionaler Stub: MAJOR/MINOR aus persistierter State-Datei laden.
         // Wenn das bestehende Jenkins-Setup die Versionsnummern in einer
         // State-Datei unter /builds/version.state persistiert, kann diese
@@ -145,7 +143,7 @@ echo "Aufräumen abgeschlossen."
         }
         always {
             // Workspace nach Abschluss bereinigen
-            cleanWs()
+            deleteDir()
         }
     }
 }