@Override
  public boolean equals(Object obj) {
    return obj instanceof JavaClassDef &&
           myClass.getManager().areElementsEquivalent(myClass, ((JavaClassDef)obj).myClass);
  }
@Override
  public boolean equals(Object obj)