From 036bfed98481404dd0db6b4aa838716b1653c341 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Wed, 12 Oct 2016 12:34:27 +0200
Subject: [PATCH] Add resources_en.jar to properties plugin classpath

---
 .idea/libraries/properties.xml          | 1 +
 ultimate/.idea/libraries/properties.xml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.idea/libraries/properties.xml b/.idea/libraries/properties.xml
index c37b7e652d7..d3296c71c9a 100644
--- a/.idea/libraries/properties.xml
+++ b/.idea/libraries/properties.xml
@@ -5,6 +5,7 @@
     </ANNOTATIONS>
     <CLASSES>
       <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/properties/lib/properties.jar!/" />
+      <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/properties/lib/resources_en.jar!/" />
     </CLASSES>
     <JAVADOC />
     <SOURCES>
diff --git a/ultimate/.idea/libraries/properties.xml b/ultimate/.idea/libraries/properties.xml
index 602d6d3d1e7..c0d02cfa0e6 100644
--- a/ultimate/.idea/libraries/properties.xml
+++ b/ultimate/.idea/libraries/properties.xml
@@ -5,6 +5,7 @@
     </ANNOTATIONS>
     <CLASSES>
       <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/properties/lib/properties.jar!/" />
+      <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/properties/lib/resources_en.jar!/" />
     </CLASSES>
     <JAVADOC />
     <SOURCES>