Changeset 832 for trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElementSpec.java

Timestamp:

09/20/12 09:42:35 (12 years ago)

Author:

sherbold

Message:

• corrected signature of JFCGUIElementSpec and MFCGUIElementSpec

File:

• trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElementSpec.java (modified) (1 diff)

trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElementSpec.java

@@ -310 +310 @@
      */
     @Override
-    public boolean equals(IGUIElementSpec other) {
+    public boolean equals(Object other) {
         
         if (this == other) {