diff --git a/.idea/misc.xml b/.idea/misc.xml
index 2dbd4c73c77..75e2be0a382 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -43,16 +43,11 @@
         <option value="$PROJECT_DIR$/libraries/pom.xml" />
       </list>
     </option>
-    <option name="ignoredFiles">
-      <set>
-        <option value="$PROJECT_DIR$/libraries/tools/idl2k/pom.xml" />
-      </set>
-    </option>
   </component>
   <component name="ProjectResources">
     <default-html-doctype>http://www.w3.org/1999/xhtml</default-html-doctype>
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" default="false" project-jdk-name="9.0" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
   <component name="SuppressABINotification">