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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f0c8a1ea2..10edbdbdc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,8 +9,8 @@ pipeline {
     disableConcurrentBuilds()
   }
   tools {
-    jdk 'JDK 1.7 (latest)'
-    maven 'Maven 3 (latest)'
+    jdk 'jdk_1.7_latest'
+    maven 'maven_3_latest'
   }
   triggers {
     pollSCM 'H/15 * * * *'