From 24fff28d2335c9c9411cc09c39f031f3923474ed Mon Sep 17 00:00:00 2001
From: takiguchi <florian.thierry72@gmail.com>
Date: Fri, 23 Aug 2019 22:07:03 +0200
Subject: [PATCH] Update build tools references.

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

diff --git a/jenkins/Jenkinsfile-prod b/jenkins/Jenkinsfile-prod
index f96a9eb..1f96dfd 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 {