diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java
index 42b6277bb399b368920b4407945931c695671181..16c592aa18a4a66c498e45685cda683a2dabc0fc 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -346,6 +346,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per
             _uppaalOn, boolean _ncOn, boolean _avatarOn, boolean _proverifOn, boolean
             _avatarOnly, boolean _experimental) {
         openLast = _openLast;
+        TraceManager.addDev("openLast=" + openLast);
         turtleOn = _turtleOn;
         systemcOn = _systemcOn;
         lotosOn = _lotosOn;
@@ -535,7 +536,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per
         frame.setJMenuBar(jmenubarturtle);
 
         // if openLast, must open the latest specification (if it exists)
-        if (ConfigurationTTool.LastOpenFileDefined) {
+        if ((ConfigurationTTool.LastOpenFileDefined) && (openLast)) {
             openLastProject();
         }
 
diff --git a/src/main/java/ui/avatarrd/AvatarRDRequirement.java b/src/main/java/ui/avatarrd/AvatarRDRequirement.java
index 30cef24c7d47266ebff5dfd2bf1163c1d2f626ad..4a12b9d4d74780a4095bb85f35d5af206bcb5e8d 100755
--- a/src/main/java/ui/avatarrd/AvatarRDRequirement.java
+++ b/src/main/java/ui/avatarrd/AvatarRDRequirement.java
@@ -364,7 +364,6 @@ public class AvatarRDRequirement extends TGCScalableWithInternalComponent implem
 
         }
 
-
         g.setFont(f);
     }