diff --git a/Jenkinsfile b/Jenkinsfile
index cbfa1c9bfb9dd64bb1103f845cd786c31439bf11..099775ad36056ea1ca8d4c789662a3e2886531db 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -112,11 +112,6 @@
       timeout(time: 30, unit: 'MINUTES') 
     }
 
-    tools {
-        maven 'apache-maven-latest'
-        jdk 'adoptopenjdk-hotspot-jdk11-latest'
-    }
-
     triggers {
       // build once a week to keep up with parents images updates
       cron('H H * * H')