From 38b9554710aaea7cf3a3194c4a8234acc148a63d Mon Sep 17 00:00:00 2001
From: Martin Stockhammer <martin_s@apache.org>
Date: Fri, 23 Oct 2020 17:30:48 +0200
Subject: [PATCH] Fixing JDK and maven labels for build

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 966c7b61..6a1874f7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -28,9 +28,9 @@
  * Only the war and zip artifacts are archived in the jenkins build archive.
  */
 LABEL = 'ubuntu'
-buildJdk = 'JDK 1.8 (latest)'
-buildJdk11 = 'JDK 11 (latest)'
-mavenVersion = 'Maven 3.5.4'
+buildJdk = 'jdk_1.8_latest'
+buildJdk11 = 'jdk_11_latest'
+mavenVersion = 'maven_3.5.4'
 
 def defaultPublishers = [artifactsPublisher(disabled: false), junitPublisher(ignoreAttachments: false, disabled: false),
                          findbugsPublisher(disabled: true), openTasksPublisher(disabled: true),