diff --git a/.idea/misc.xml b/.idea/misc.xml
index 51e5191ed4bd4e6ffe2a1823753c5d6f92894ab9..b755d8ca46c060cb7a2b6b29b7ec83e02b8b71e2 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -38,7 +38,7 @@
       <property name="caretWidth" class="java.lang.Integer" />
     </properties>
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="false" project-jdk-name="1.7" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/build" />
   </component>
 </project>
\ No newline at end of file
diff --git a/src/main/java/graph/AUTGraph.java b/src/main/java/graph/AUTGraph.java
index c48a9d14516d4d87c496af6a9bd8c78a3415ff3a..82e2150a589f51bab8f43ed519f52e9ea2d2312c 100755
--- a/src/main/java/graph/AUTGraph.java
+++ b/src/main/java/graph/AUTGraph.java
@@ -1358,7 +1358,7 @@ public class AUTGraph implements myutil.Graph {
             } else {
                 // For each possible transition, we create a new transition to a new destination state
                 for (AUTTransition tr : current.outTransitions) {
-                    // Create new transition. Is a new staqte necessary?
+                    // Create new transition. Is a new state necessary?
                     AUTState destState = states.get(tr.destination);
                     AUTState stRefusal;
                     stRefusal = new AUTState(newStates.size());
diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java
index 5ac1cabfebc3513610f89353b702fe008f61db50..3c6236939b885aab4bf3886874edaf8803134ff2 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -2599,7 +2599,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per
                 fis.read(ba);
                 fis.close();
                 s = new String(ba, "UTF-8");
-                TraceManager.addDev("Mode:" + s);
+                //TraceManager.addDev("Mode:" + s);
             } catch (Exception e) {
                 JOptionPane.showMessageDialog(frame, "File could not be opened because " + e.getMessage(), "File Error", JOptionPane.INFORMATION_MESSAGE);
                 return;