diff --git a/Jenkinsfile b/Jenkinsfile
index 7d7dc7b..279f29c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
       agent { node { label 'linux' } }
       steps {
         timeout( time: 120, unit: 'MINUTES' ) {
-          withEnv(["JAVA_HOME=${tool jdk17}",
+          withEnv(["JAVA_HOME=${tool 'jdk17'}",
                    "PATH+MAVEN=${env.JAVA_HOME}/bin:${tool 'maven3'}/bin",
                    "MAVEN_OPTS=-Xms2g -Xmx4g -Djava.awt.headless=true"]) {
             sh "bash ./jetty-website.sh --follow-log --directive stage"