From 73d940680aa8bbc2fd521d1fe8026e6bd1c6a4d0 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Tue, 14 Aug 2018 15:39:58 -0500
Subject: [PATCH] Attempting to fix jetty-9.2.x build

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9a355449f0e..ad11acdc88a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,7 @@ node("linux") {
   stage('Compile') {
     withEnv(mvnEnv) {
       timeout(time: 15, unit: 'MINUTES') {
-        withmaven(
+        withMaven(
             maven: mvnName,
             jdk: "$jdk",
             publisherStrategy: 'EXPLICIT',
@@ -38,7 +38,7 @@ node("linux") {
   stage('Javadoc') {
     withEnv(mvnEnv) {
       timeout(time: 15, unit: 'MINUTES') {
-        withmaven(
+        withMaven(
             maven: mvnName,
             jdk: "$jdk",
             publisherStrategy: 'EXPLICIT',
@@ -54,7 +54,7 @@ node("linux") {
   stage('Test') {
     withEnv(mvnEnv) {
       timeout(time: 60, unit: 'MINUTES') {
-        withmaven(
+        withMaven(
             maven: mvnName,
             jdk: "$jdk",
             publisherStrategy: 'EXPLICIT',