diff --git a/JenkinsFile b/JenkinsFile
index 65dc122d7..27619a555 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -2,8 +2,8 @@ pipeline {
     agent any
 
     tools {
-        jdk 'jdk17'
-        maven 'maven'
+        jdk 'jdk-17'
+        maven 'maven-3.9.9'
     }
 
     environment {