diff --git a/Jenkinsfile b/Jenkinsfile
index 567d160c5..47989c0e8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
     // Definition of Jenkins job configuration
     /////////////////////////////////////////////////////////////////////
     tools {
-        maven 'M3'
+        MAVEN_TOOL 'M3'
     }
     options {
         skipStagesAfterUnstable()