Index: trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElement.java
===================================================================
--- trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElement.java	(revision 667)
+++ trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElement.java	(revision 681)
@@ -78,4 +78,13 @@
         ((MFCGUIElementSpec) super.getSpecification()).update(furtherSpec);
     }
+    
+    @Override
+    public String getStringIdentifier() {
+        String str = this.toString();
+        if( getParent()!=null ) {
+            return getParent().getStringIdentifier() + "->" + str;
+        }
+        return str;
+    }
 
     /* (non-Javadoc)