Reverted TTool.xml file to match version in master branch

.idea/runConfigurations/TTool.xml

 <component name="ProjectRunConfigurationManager">
   <configuration default="false" name="TTool" type="Application" factoryName="Application">
-    <option name="ALTERNATIVE_JRE_PATH" value="11" />
-    <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="PROGRAM_PARAMETERS" value="-Xmx4096m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher -interact -openlast" />
+    <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>