Fix: give Menu a hash code

diff --git a/src/org/cacert/gigi/output/Menu.java b/src/org/cacert/gigi/output/Menu.java
index 451cb47a478cc95070a849c1f7d8f9a3a9b38bd1..9d275ffc48ac4dd990d004469a3f7819f1bb45b4 100644 (file)
--- a/src/org/cacert/gigi/output/Menu.java
+++ b/src/org/cacert/gigi/output/Menu.java
@@ -58,7 +58,12 @@ public class Menu implements IMenuItem {
         if (obj instanceof Menu) {
             return menuName.equals(((Menu) obj).getMenuName());
         }
         if (obj instanceof Menu) {
             return menuName.equals(((Menu) obj).getMenuName());
         }

-        return super.equals(obj);
+        return false;
+    }
+
+    @Override
+    public int hashCode() {
+        return menuName.hashCode();

     }
 
     public String getMenuName() {
     }
 
     public String getMenuName() {