Changeset 832 for trunk/quest-plugin-jfc/src

Timestamp:

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

Author:

sherbold

Message:

• corrected signature of JFCGUIElementSpec and MFCGUIElementSpec

File:

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

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.java

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