if (other.hasSuccessfulAttempt()) { mergeSuccessfulAttempt(other.getSuccessfulAttempt());
if (other.hasSuccessfulAttempt()) { mergeSuccessfulAttempt(other.getSuccessfulAttempt());
if (other.hasSuccessfulAttempt()) { mergeSuccessfulAttempt(other.getSuccessfulAttempt());
if (other.hasSuccessfulAttempt()) { 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) + getRunningAttemptsList().hashCode(); if (hasSuccessfulAttempt()) { hash = (37 * hash) + SUCCESSFUL_ATTEMPT_FIELD_NUMBER; hash = (53 * hash) + getSuccessfulAttempt().hashCode();
result = result && (hasSuccessfulAttempt() == other.hasSuccessfulAttempt()); if (hasSuccessfulAttempt()) { result = result && getSuccessfulAttempt() .equals(other.getSuccessfulAttempt());
hash = (53 * hash) + getRunningAttemptsList().hashCode(); if (hasSuccessfulAttempt()) { hash = (37 * hash) + SUCCESSFUL_ATTEMPT_FIELD_NUMBER; hash = (53 * hash) + getSuccessfulAttempt().hashCode();
hash = (53 * hash) + getRunningAttemptsList().hashCode(); if (hasSuccessfulAttempt()) { hash = (37 * hash) + SUCCESSFUL_ATTEMPT_FIELD_NUMBER; hash = (53 * hash) + getSuccessfulAttempt().hashCode();
hash = (53 * hash) + getRunningAttemptsList().hashCode(); if (hasSuccessfulAttempt()) { hash = (37 * hash) + SUCCESSFUL_ATTEMPT_FIELD_NUMBER; hash = (53 * hash) + getSuccessfulAttempt().hashCode();
result = result && (hasSuccessfulAttempt() == other.hasSuccessfulAttempt()); if (hasSuccessfulAttempt()) { result = result && getSuccessfulAttempt() .equals(other.getSuccessfulAttempt());