diff --git a/Jenkinsfile b/Jenkinsfile
index d37b5fe6f..0f0a19c6a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,6 +9,7 @@ pipeline {
     }
     tools {
         jdk 'JDK_17'
+        maven 'maven 3.9.4'
     }
     stages {
         stage('code') {