From c96c3c3d45b2684057c443f0c5333e92621ee08f Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Mon, 4 Feb 2013 15:56:28 +0400
Subject: [PATCH] Removed resources jar from classpath. It is redundant.

---
 build.xml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/build.xml b/build.xml
index 5516124acc0..697ab76b51b 100644
--- a/build.xml
+++ b/build.xml
@@ -1,7 +1,7 @@
 <project name="Kotlin" default="dist">
 
     <!-- Set to false to disable proguard run on kotlin-compiler.jar. Speeds up the build -->
-    <property name="shrink" value="true"/>
+    <property name="shrink" value="false"/>
     <!-- Set to false to disable compiler's javadoc generation. Speeds up the build -->
     <property name="generate.javadoc" value="true"/>
 
@@ -15,12 +15,6 @@
     <path id="classpath">
         <fileset dir="${idea.sdk}" includes="core/*.jar"/>
 
-        <!--
-            Work around this problem: https://gist.github.com/1c4a7d51b61ec81d581b
-            Somebody please fix it properly or delete this comment if this is OK
-        -->
-        <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"/>