From 31c65fb9fd259fce3bcb43b75a4ede0d56c76afb Mon Sep 17 00:00:00 2001
From: Marcus van Elst <marcusvebo@gmail.com>
Date: Sun, 3 May 2026 07:45:56 +0200
Subject: [PATCH] #68: Jenkinsfile-Fixes (maven-tool, cleanWs, doppelter
 Checkout)

---
 Jenkinsfile | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a0bf756..c0765ea 100644
--- a/Jenkinsfile
+++ b/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()
         }
     }
 }