From a59fd3bc85e2f36a93d29cf4f2e3770cb74dfb8a Mon Sep 17 00:00:00 2001
From: Sergey Igushkin <hotkeytlt@gmail.com>
Date: Wed, 24 Jan 2018 17:12:45 +0300
Subject: [PATCH] Remove the usage of repository.jetbrains.com

---
 update_dependencies.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 74159960536..21a371a7fb1 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -65,7 +65,7 @@
         <attribute name="version"/>
         <attribute name="bin" default="true"/>
         <attribute name="src" default="true"/>
-        <attribute name="server" default="http://repository.jetbrains.com/remote-repos"/>
+        <attribute name="server" default="https://repo1.maven.org/maven2/"/>
         <attribute name="jar.name.base" default="@{lib}-@{version}"/>
         <attribute name="target.jar.name.base" default="@{jar.name.base}"/>
         <attribute name="path" default="@{prefix}/@{lib}/@{version}/@{jar.name.base}"/>