From 27d91caf15fe92371f03faae300b0679f83ba9ea Mon Sep 17 00:00:00 2001
From: Lukasz Lenart <lukaszlenart@apache.org>
Date: Thu, 5 Nov 2020 07:27:25 +0100
Subject: [PATCH] Uses proper labels for tools

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ac7516de8..be834d13e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,8 +30,8 @@ pipeline {
         label 'ubuntu'
       }
       tools {
-        jdk 'JDK 11 (latest)'
-        maven 'Maven (latest)'
+        jdk 'jdk_11_latest'
+        maven 'maven_3_latest'
       }
       environment {
         MAVEN_OPTS = "-Xmx1024m"
@@ -66,8 +66,8 @@ pipeline {
         label 'ubuntu'
       }
       tools {
-        jdk 'JDK 1.9 (latest)'
-        maven 'Maven (latest)'
+        jdk 'jdk_1.9_latest'
+        maven 'maven_3_latest'
       }
       environment {
         MAVEN_OPTS = "-Xmx1024m"
@@ -102,8 +102,8 @@ pipeline {
         label 'ubuntu'
       }
       tools {
-        jdk 'JDK 1.8 (latest)'
-        maven 'Maven (latest)'
+        jdk 'jdk_1.8_latest'
+        maven 'maven_3_latest'
       }
       environment {
         MAVEN_OPTS = "-Xmx1024m"