From c0a334480358a1b8868cd8fc708ebc46156554a7 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Thu, 9 Nov 2017 17:34:29 +0300
Subject: [PATCH] Download jflex from bintray

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

diff --git a/update_dependencies.xml b/update_dependencies.xml
index f6bd775f6ef..3ac3acf2b7d 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -204,7 +204,7 @@
         <untar src="${dependencies}/download/${android-sources.tgz}" dest="${dependencies}/dx-src" compression="gzip"/>
 
         <mkdir dir="${dependencies}/jflex"/>
-        <get src="https://raw.github.com/JetBrains/intellij-community/726738ae1ff4d4dbde1a56d06655aace9b74fe5e~1/tools/lexer/jflex-1.7.0-SNAPSHOT.jar"
+        <get src="https://jetbrains.bintray.com/intellij-third-party-dependencies/org/jetbrains/intellij/deps/jflex/jflex/1.7.0/jflex-1.7.0.jar"
              dest="${dependencies}/jflex/JFlex.jar" usetimestamp="true"/>
         <get src="https://raw.github.com/JetBrains/intellij-community/master/tools/lexer/idea-flex.skeleton"
              dest="${dependencies}/jflex/idea-flex.skeleton" usetimestamp="true"/>