From 3cd41b25036e6c99b417e026223bb0355781878c Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Mon, 26 Nov 2012 21:48:15 +0400
Subject: [PATCH] Update to jline 2.9

Fixes console problems after :quit from REPL on the latest Ubuntu
---
 update_dependencies.xml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 5d0c56598ba..197299cfde9 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -78,13 +78,13 @@
         <copy file="dependencies/download/dx-1.7-sources.jar" tofile="dependencies/dx-sources.jar" overwrite="true"/>
 
         <!-- jline -->
-        <get src="http://repository.jetbrains.com/remote-repos/jline/jline/2.6/jline-2.6.jar"
-             dest="dependencies/download/jline-2.6.jar" usetimestamp="true"/>
-        <copy file="dependencies/download/jline-2.6.jar" tofile="dependencies/jline.jar" overwrite="true"/>
+        <get src="http://repository.jetbrains.com/remote-repos/jline/jline/2.9/jline-2.9.jar"
+             dest="dependencies/download/jline-2.9.jar" usetimestamp="true"/>
+        <copy file="dependencies/download/jline-2.9.jar" tofile="dependencies/jline.jar" overwrite="true"/>
 
-        <get src="http://repository.jetbrains.com/remote-repos/jline/jline/2.6/jline-2.6-sources.jar"
-             dest="dependencies/download/jline-2.6-sources.jar" usetimestamp="true"/>
-        <copy file="dependencies/download/jline-2.6-sources.jar" tofile="dependencies/jline-sources.jar" overwrite="true"/>
+        <get src="http://repository.jetbrains.com/remote-repos/jline/jline/2.9/jline-2.9-sources.jar"
+             dest="dependencies/download/jline-2.9-sources.jar" usetimestamp="true"/>
+        <copy file="dependencies/download/jline-2.9-sources.jar" tofile="dependencies/jline-sources.jar" overwrite="true"/>
 
         <!-- jansi -->
         <!--