restore .idea from master

.idea/compiler.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="CompilerConfiguration">
+    <bytecodeTargetLevel>
+      <module name="graphminimize_main" target="1.7" />
+      <module name="graphminimize_test" target="1.7" />
+      <module name="graphshow_main" target="1.7" />
+      <module name="graphshow_test" target="1.7" />
+      <module name="launcher_main" target="1.7" />
+      <module name="launcher_test" target="1.7" />
+      <module name="rundse_main" target="1.7" />
+      <module name="rundse_test" target="1.7" />
+      <module name="simulationcontrol_main" target="1.7" />
+      <module name="simulationcontrol_test" target="1.7" />
+      <module name="tiftranslator_main" target="1.7" />
+      <module name="tiftranslator_test" target="1.7" />
+      <module name="tmltranslator_main" target="1.7" />
+      <module name="tmltranslator_test" target="1.7" />
+      <module name="ttool-ttool_main" target="1.7" />
+      <module name="ttool-ttool_test" target="1.7" />
+      <module name="webcrawler-client_main" target="1.7" />
+      <module name="webcrawler-client_test" target="1.7" />
+      <module name="webcrawler-server_main" target="1.7" />
+      <module name="webcrawler-server_test" target="1.7" />
+    </bytecodeTargetLevel>
+  </component>
+</project>
\ No newline at end of file

.idea/runConfigurations/TTool.xml

 <component name="ProjectRunConfigurationManager">
   <configuration default="false" name="TTool" type="Application" factoryName="Application">
-    <option name="ALTERNATIVE_JRE_PATH" value="/usr/lib64/jvm/jdk-11.0.15" />
-    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" />
+    <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
     <option name="MAIN_CLASS_NAME" value="Main" />
-    <module name="ttool" />
+    <option name="VM_PARAMETERS" />
     <option name="PROGRAM_PARAMETERS" value="-debug -proverif -experimental -config bin/config.xml" />
     <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/bin" />
-    <method v="2">
-      <option name="Make" enabled="true" />
+    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" />
+    <option name="ALTERNATIVE_JRE_PATH" value="jbr-11" />
+    <option name="ENABLE_SWING_INSPECTOR" value="false" />
+    <option name="ENV_VARIABLES" />
+    <option name="PASS_PARENT_ENVS" value="true" />
+    <module name="ttool" />
+    <envs />
+    <method>
       <option name="BuildArtifacts" enabled="true">
         <artifact name="dependencies" />
       </option>
@@ -16,4 +21,4 @@
       </option>
     </method>
   </configuration>
-</component>
\ No newline at end of file
+</component>