From 8b841432893c121694f567b505192dd823de22ba Mon Sep 17 00:00:00 2001
From: Olivier Lamy <olamy@apache.org>
Date: Fri, 14 Jun 2024 12:11:41 +1000
Subject: [PATCH] fix Jenkinsfile

Signed-off-by: Olivier Lamy <olamy@apache.org>
---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fb0604a..7d7dc7b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,9 @@ pipeline {
       agent { node { label 'linux' } }
       steps {
         timeout( time: 120, unit: 'MINUTES' ) {
-          withMaven( maven: 'maven3', jdk: '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"
           }
         }