From 3d2a519399f460194a378ba523c5c30d585d047b Mon Sep 17 00:00:00 2001
From: Lukasz Lenart <lukaszlenart@apache.org>
Date: Sun, 23 Feb 2020 14:04:20 +0100
Subject: [PATCH] Adds missing tool section

---
 Jenkinsfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9769d017a..542d5ae27 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -17,11 +17,15 @@ pipeline {
       agent {
         label 'ubuntu'
       }
+      tools {
+        jdk 'JDK 8 (latest)'
+        maven 'Maven (latest)'
+      }
       stages {
         stage('Clean up') {
           steps {
             cleanWs deleteDirs: true, patterns: [[pattern: '**/target/**', type: 'INCLUDE']]
-            sh 'mvn dependency:purge-local-repository'
+            sh 'mvn -B dependency:purge-local-repository'
           }
         }
       }