Index: trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java
===================================================================
--- trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java	(revision 1673)
+++ trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java	(revision 1674)
@@ -157,4 +157,17 @@
      * @see java.lang.Object#toString()
      */
+    public String getJacaretoHierarchy() {
+        String str = getElementDescriptor() + "_(" + getIndex() + ")";
+        if (getParent() != null) {
+            return ((JFCGUIElement) getParent()).getJacaretoHierarchy() + "." + str;
+        }
+        return str;
+    }
+    
+    /*
+     * (non-Javadoc)
+     * 
+     * @see java.lang.Object#toString()
+     */
     @Override
     public String toString() {
