From b33f6f3c1010f8af7e163f738744191d36854ff7 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Wed, 27 Feb 2019 09:11:58 -0500
Subject: [PATCH] Making minor changes Jmh_Jenkinsfile

---
 Jmh_Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jmh_Jenkinsfile b/Jmh_Jenkinsfile
index 5f6dd580375..220ee0fb677 100644
--- a/Jmh_Jenkinsfile
+++ b/Jmh_Jenkinsfile
@@ -1,6 +1,6 @@
 #!groovy
 
-def branch = params.get("JETTY_BRANCH" ,"jetty-9.4.x")
+def branch = params.get("JETTY_BRANCH" ,"jetty-10.0.x")
 def owner = params.get("REPO_OWNER", "eclipse")
 
 node("linux") {
@@ -26,7 +26,7 @@ node("linux") {
       timeout(time: 15, unit: 'MINUTES') {
         withMaven(
                 maven: mvnName,
-                jdk: "jdk8",
+                jdk: "jdk11",
                 publisherStrategy: 'EXPLICIT',
                 globalMavenSettingsConfig: settingsName,
                 mavenOpts: mavenOpts,