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>