From 5f20fd1884c2af7721d1f9a4a4d0c25f7b174ae2 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 30 Sep 2019 13:00:48 -0400
Subject: [PATCH] Remove tools section.

---
 Jenkinsfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ed4cc40..24b0e35 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -70,10 +70,7 @@ pipeline {
         MAVEN_LOCAL_REPO = "${maven_local_repo_path}"
         GCUBE_RELEASE_NUMBER = "${params.gCube_release_version}"
     }
-    tools {
-        jdk 'OpenJDK 8'
-        maven 'Maven 3.6.2'
-    }
+
     // see https://jenkins.io/doc/book/pipeline/syntax/#parameters
     parameters {
         choice(name: 'Type',