From 8868599093d5fa73943333cacc7f3c1982513284 Mon Sep 17 00:00:00 2001
From: veenm <vanveenmel11@gmail.com>
Date: Tue, 4 Mar 2025 22:37:24 +0100
Subject: [PATCH] jenkinsFile fix

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6760b32..887972c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
     tools {
         jdk 'jdk-21'
         maven 'mvn'
-        docker 'docker'
+        dockerTool 'docker'
     }
     environment {
         SSH_CREDENTIALS_ID = 'ssh-true-nas'  // ID van de SSH-sleutel in Jenkins