Index: trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java
===================================================================
--- trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java	(revision 598)
+++ trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java	(revision 599)
@@ -80,4 +80,9 @@
     }
 
+    /**
+     * <p>
+     * TODO comment
+     * </p>
+     */
     @Override
     public void updateSpecification(IGUIElementSpec updateSpecification) {