@Override
    public boolean equals(java.lang.Object that) {
      if (that instanceof notifyAboutMagic_result)
        return this.equals((notifyAboutMagic_result)that);
      return false;
    }
@Override
    public boolean equals(java.lang.Object that)