Index: trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java
===================================================================
--- trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java	(revision 965)
+++ trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java	(revision 966)
@@ -403,3 +403,10 @@
     }
 
+    @Override
+    public String[] getClassHierarchy() {
+        // TODO Auto-generated method stub
+        System.out.println("TODO: implement IGUIElementSpec.getClassHierarchy ");
+        return null;
+    }
+
 }