From cc2c6639167d3106aa0e4512d95c6be7210e56ed Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Wed, 23 May 2018 01:02:13 +0100
Subject: [PATCH] Add the tools.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8e5d4f9..a28fb00 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
     agent none
     triggers { pollSCM('H/15 * * * *') }
     tools {
-        maven 'apache-maven-3.0.1'
+        maven 'Maven 3.5.3'
         jdk 'OpenJDK 9'
     }
     stages {