From 78dd79f7920ddf93350a996047c8d57d5bc3ee25 Mon Sep 17 00:00:00 2001
From: Takiguchi <florian.thierry72@gmail.com>
Date: Sat, 18 Jan 2020 15:11:07 +0100
Subject: [PATCH] Update jenkins tools in pipeline.

---
 jenkins/Jenkinsfile-prod | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/jenkins/Jenkinsfile-prod b/jenkins/Jenkinsfile-prod
index b2d2595..8828f14 100644
--- a/jenkins/Jenkinsfile-prod
+++ b/jenkins/Jenkinsfile-prod
@@ -2,8 +2,8 @@ pipeline {
     agent any
 
     tools {
-        maven 'Maven-3.5.0'
-        jdk 'OpenJdk-11.0.2'
+        maven 'Maven-3.6.0'
+        jdk 'OpenJdk-11.0.4'
     }
 
     environment {