diff --git a/Jenkinsfile b/Jenkinsfile
index 61dc0ac72..2e1a9d344 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
     
 	agent any
 tools {
-	    maven "MAVEN3"
+	    maven "MAVEN3.9"
 	    jdk "JDK17"
 	}
     environment {