From 2db67db8e1329cb2e047322cff81d97ff98b4328 Mon Sep 17 00:00:00 2001
From: Ismael Juma <ismael@juma.me.uk>
Date: Mon, 19 Oct 2020 09:54:47 -0700
Subject: [PATCH] MINOR: Update jdk and maven names in Jenkinsfile (#9453)

---
 Jenkinsfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 826f7818c59..87840d54b79 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -101,8 +101,8 @@ pipeline {
         stage('JDK 8') {
           agent { label 'ubuntu' }
           tools {
-            jdk 'JDK 1.8 (latest)'
-            maven 'Maven 3.6.3'
+            jdk 'jdk_1.8_latest'
+            maven 'maven_3_latest'
           }
           options {
             timeout(time: 8, unit: 'HOURS') 
@@ -122,7 +122,7 @@ pipeline {
         stage('JDK 11') {
           agent { label 'ubuntu' }
           tools {
-            jdk 'JDK 11 (latest)'
+            jdk 'jdk_11_latest'
           }
           options {
             timeout(time: 8, unit: 'HOURS') 
@@ -142,7 +142,7 @@ pipeline {
         stage('JDK 15') {
           agent { label 'ubuntu' }
           tools {
-            jdk 'JDK 15 (latest)'
+            jdk 'jdk_15_latest'
           }
           options {
             timeout(time: 8, unit: 'HOURS')