commit 7c293d574a20f02a19234374113535f10ab9b74c
author Martin Stockhammer <martin_s@apache.org> Fri Oct 23 17:04:44 2020 +0200
committer Martin Stockhammer <martin_s@apache.org> Fri Oct 23 17:04:44 2020 +0200
tree 7b117c3e55a4c0813b8bc94c1ff109124b08e1fc
parent a207a57974186a5a7288fb022304a21eeb231ab4

Fixing JDK and maven labels for build

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 18cce19..84c0b8f 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),