From 41cbdd754c91b9a9cc6359a1617f4e4fa9a16961 Mon Sep 17 00:00:00 2001
From: Leonid Shalupov <shalupov@diverse.org.ru>
Date: Wed, 11 Jul 2012 19:27:09 +0400
Subject: [PATCH] fix build

---
 build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 9c6d25a1d74..58be120fd75 100644
--- a/build.xml
+++ b/build.xml
@@ -21,8 +21,8 @@
         <pathelement path="${idea.sdk}/lib/resources_en.jar"/>
 
         <fileset dir="${basedir}/lib" includes="**/*.jar"/>
-        <fileset dir="${basedir}/dependencies" includes="jline-*.jar"/>
-        <fileset dir="${basedir}/dependencies" includes="jansi-*.jar"/>
+        <fileset dir="${basedir}/dependencies" includes="jline.jar"/>
+        <fileset dir="${basedir}/dependencies" includes="jansi.jar"/>
         <fileset dir="${basedir}/js/js.translator/lib" includes="*.jar"/>
     </path>