From 9f07fae0db29a683c2a470e7e9ae719ed55520eb Mon Sep 17 00:00:00 2001
From: Gabriele C <sgdc3.mail@gmail.com>
Date: Wed, 18 Jul 2018 13:07:28 +0200
Subject: [PATCH] Fix syntax

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 385d95343..2edd438a7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,10 @@ pipeline {
         label 'argon2'
     }
 
+    tools {
+        jdk 'OracleJDK 8'
+    }
+
     options {
         timeout(time: 5, unit: 'MINUTES')
         timestamps()
@@ -36,7 +40,6 @@ pipeline {
             steps {
                 withMaven(
                     maven: 'Maven 3'
-                    jdk: 'OracleJDK 8'
                     globalMavenSettingsConfig: 'e5b005b5-be4d-4709-8657-1981662bcbe3'
                     mavenOpts: '-Xmx4G'
                 ) {