diff --git a/.idea/encodings.xml b/.idea/encodings.xml
index d8210482..f7589596 100644
--- a/.idea/encodings.xml
+++ b/.idea/encodings.xml
@@ -1,4 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
-  <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" />
+  <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false">
+    <file url="PROJECT" charset="UTF-8" />
+  </component>
 </project>
\ No newline at end of file
diff --git a/.idea/libraries/mps__closures_collections_.xml b/.idea/libraries/mps__closures_collections_.xml
new file mode 100644
index 00000000..e41a5a68
--- /dev/null
+++ b/.idea/libraries/mps__closures_collections_.xml
@@ -0,0 +1,10 @@
+<component name="libraryTable">
+  <library name="mps-{closures,collections}">
+    <CLASSES>
+      <root url="jar:///Applications/MPS 3.3 EAP.app/Contents/lib/mps-closures.jar!/" />
+      <root url="jar:///Applications/MPS 3.3 EAP.app/Contents/lib/mps-collections.jar!/" />
+    </CLASSES>
+    <JAVADOC />
+    <SOURCES />
+  </library>
+</component>
\ No newline at end of file
diff --git a/languages/jetbrains.mps.logic/test/Logic.test.iml b/languages/jetbrains.mps.logic/test/Logic.test.iml
index 6146d947..b72cc7fb 100644
--- a/languages/jetbrains.mps.logic/test/Logic.test.iml
+++ b/languages/jetbrains.mps.logic/test/Logic.test.iml
@@ -21,5 +21,6 @@
     <orderEntry type="library" name="jchr" level="project" />
     <orderEntry type="module" module-name="Logic" scope="TEST" />
     <orderEntry type="module" module-name="Atom" scope="TEST" />
+    <orderEntry type="library" name="mps-{closures,collections}" level="project" />
   </component>
 </module>
\ No newline at end of file