From ef607c5915f1b7e2f25a47c4fb3289977792fec4 Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Thu, 16 Jan 2020 07:10:24 +0100
Subject: [PATCH] Update downloaded Maven copy to fix HTTPS issue, closes #2286

---
 refine | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/refine b/refine
index 5254f905c..a0e4bd687 100755
--- a/refine
+++ b/refine
@@ -304,8 +304,8 @@ tools_prepare() {
 mvn_prepare() {
     tools_prepare
 
-    MVN_VERSION="3.2.2"
-    MVN_URL="https://archive.apache.org/dist/maven/binaries/apache-maven-${MVN_VERSION}-bin.tar.gz"
+    MVN_VERSION="3.6.3"
+    MVN_URL="https://www-us.apache.org/dist/maven/maven-3/${MVN_VERSION}/binaries/apache-maven-${MVN_VERSION}-bin.tar.gz"
     MVN_FILE=`echo $MVN_URL | sed 's|.*/||'`
     MVN_DIR="apache-maven-${MVN_VERSION}"