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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 770c3bc..8e5d4f9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,10 @@
 pipeline {
     agent none
     triggers { pollSCM('H/15 * * * *') }
+    tools {
+        maven 'apache-maven-3.0.1'
+        jdk 'OpenJDK 9'
+    }
     stages {
         stage('Build') {
             parallel {