diff --git a/Jenkinsfile b/Jenkinsfile
index 65b05a465..da4e80bd7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,8 +1,8 @@
 pipeline {
   agent any
   tools {
-    jdk "jdk17"
-    maven "M3"
+    jdk 'jdk17'
+    maven 'M3'
   }
   
   stages {