From 6a309bdb4edd75af512770e562640a24b3d2e884 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Thu, 12 May 2016 09:09:03 +0300
Subject: [PATCH] No more patched jflex 1.4.3 in idea repository. Download
 artifact from maven.

https://github.com/JetBrains/intellij-community/commit/02c7c658e87dc6f3c347e9b0d44ce275d2c31514
---
 update_dependencies.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 6a262c7e879..d6efd378b52 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -218,8 +218,9 @@
 
         <!-- jflex 1.4 -->
         <mkdir dir="${dependencies}/jflex"/>
-        <get src="https://raw.github.com/JetBrains/intellij-community/master/tools/lexer/jflex-1.4/lib/JFlex.jar"
-             dest="${dependencies}/jflex/JFlex.jar" usetimestamp="true"/>
+        <get-maven-library prefix="de/jflex" lib="jflex" version="1.4.3" src="false"
+                           target.jar.name.base="JFlex"
+                           dependencies="${dependencies}/jflex"/>
         <get src="https://raw.github.com/JetBrains/intellij-community/master/tools/lexer/idea-flex.skeleton"
              dest="${dependencies}/jflex/idea-flex.skeleton" usetimestamp="true"/>