From e801390c7a83037bb84faa2b2753a36e246b48c8 Mon Sep 17 00:00:00 2001
From: Ilya Gorbunov <ilya.gorbunov@jetbrains.com>
Date: Thu, 9 Nov 2017 17:58:54 +0300
Subject: [PATCH] Fix intellij-community revision JFlex is downloaded from

Because it was removed in master
---
 update_dependencies.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index c86b61ea9bf..7c1d87177ab 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -217,7 +217,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/master/tools/lexer/jflex-1.7.0-SNAPSHOT.jar"
+        <get src="https://raw.github.com/JetBrains/intellij-community/726738ae1ff4d4dbde1a56d06655aace9b74fe5e~1/tools/lexer/jflex-1.7.0-SNAPSHOT.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"/>