From 7708b2d0092fd48876f7900858e03f8d1c62af58 Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Sat, 24 Mar 2012 00:43:05 +0400
Subject: [PATCH] Work around missing jar

Somebody please fix it properly
---
 build.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build.xml b/build.xml
index ea1306e00b4..8bfdcb0c50f 100644
--- a/build.xml
+++ b/build.xml
@@ -11,6 +11,13 @@
 
     <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"/>
         <pathelement path="${output}/classes/runtime"/>
     </path>