diff --git a/ttool/runtime/config.xml b/ttool/runtime/config.xml
index 13aa9166a49bae1afa2ddb6899e961445e610835..5aee3dfda6b4c8dce6b7fa1d7c29314fa03b668f 100755
--- a/ttool/runtime/config.xml
+++ b/ttool/runtime/config.xml
@@ -66,10 +66,6 @@
 <ExternalCommand2Host data="localhost"/>
 <ExternalCommand2 data="/packages/uppaal4.0.11/uppaal ../uppaal/spec.xml"/>
 
-
-
 <ProVerifHash data="1427594573"/>
 
-
-<LastOpenFile data="../modeling/AVATAR/CoffeeMachine_Avatar.xml" />
 </TURTLECONFIGURATION>