diff --git a/Jenkinsfile b/Jenkinsfile
index a53d4f81d2..410c09b73b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,8 +34,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 1.8 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_1.8_latest'
     }
 
     options {
diff --git a/Jenkinsfile-jdk11 b/Jenkinsfile-jdk11
index ba838cabc6..d10f4768c5 100644
--- a/Jenkinsfile-jdk11
+++ b/Jenkinsfile-jdk11
@@ -35,8 +35,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 11 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_11_latest'
     }
 
     options {
diff --git a/Jenkinsfile-jdk14 b/Jenkinsfile-jdk14
index dd5e859b07..7fcda4d10a 100644
--- a/Jenkinsfile-jdk14
+++ b/Jenkinsfile-jdk14
@@ -35,8 +35,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 14 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_14_latest'
     }
 
     options {