diff --git a/Jenkinsfile b/Jenkinsfile
index ae0e04e62..9dbfc8822 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,8 +1,8 @@
 pipeline {
   agent any
   tools {
-    jdk 'jdk17'
-    maven 'M3'
+    jdk "jdk17"
+    maven "M3"
   }
  
   environment {