mergeSuccessfulAttempt(other.getSuccessfulAttempt());
mergeSuccessfulAttempt(other.getSuccessfulAttempt());
mergeSuccessfulAttempt(other.getSuccessfulAttempt());
mergeSuccessfulAttempt(other.getSuccessfulAttempt());
result = result && (hasSuccessfulAttempt() == other.hasSuccessfulAttempt()); if (hasSuccessfulAttempt()) { result = result && getSuccessfulAttempt() .equals(other.getSuccessfulAttempt());
result = result && (hasSuccessfulAttempt() == other.hasSuccessfulAttempt()); if (hasSuccessfulAttempt()) { result = result && getSuccessfulAttempt() .equals(other.getSuccessfulAttempt());
hash = (53 * hash) + getSuccessfulAttempt().hashCode();
result = result && (hasSuccessfulAttempt() == other.hasSuccessfulAttempt()); if (hasSuccessfulAttempt()) { result = result && getSuccessfulAttempt() .equals(other.getSuccessfulAttempt());
hash = (53 * hash) + getSuccessfulAttempt().hashCode();
hash = (53 * hash) + getSuccessfulAttempt().hashCode();
hash = (53 * hash) + getSuccessfulAttempt().hashCode();
result = result && (hasSuccessfulAttempt() == other.hasSuccessfulAttempt()); if (hasSuccessfulAttempt()) { result = result && getSuccessfulAttempt() .equals(other.getSuccessfulAttempt());