From cacdb37baa6d38a4b5e56609aae6a3b13bf0cd08 Mon Sep 17 00:00:00 2001
From: Francois Papon <fpapon@apache.org>
Date: Sat, 17 Oct 2020 18:02:29 +0200
Subject: [PATCH] =?UTF-8?q?[CI]=C2=A0Update=20maven=20and=20jdk=20labels?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Jenkinsfile       | 4 ++--
 Jenkinsfile-jdk11 | 4 ++--
 Jenkinsfile-jdk14 | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fc7e01f36a..c433988ef2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -35,8 +35,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 1.8 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_1.8_latest'
     }
 
     options {
diff --git a/Jenkinsfile-jdk11 b/Jenkinsfile-jdk11
index 2b3d5eab94..73e50f094f 100644
--- a/Jenkinsfile-jdk11
+++ b/Jenkinsfile-jdk11
@@ -35,8 +35,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 11 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_11_latest'
     }
 
     options {
diff --git a/Jenkinsfile-jdk14 b/Jenkinsfile-jdk14
index dd5e859b07..7fcda4d10a 100644
--- a/Jenkinsfile-jdk14
+++ b/Jenkinsfile-jdk14
@@ -35,8 +35,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 14 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_14_latest'
     }
 
     options {