hash = (53 * hash) + getFragmentNumber(); if (hasAttemptNumber()) { hash = (37 * hash) + ATTEMPT_NUMBER_FIELD_NUMBER; hash = (53 * hash) + getAttemptNumber();
== other.getFragmentNumber()); result = result && (hasAttemptNumber() == other.hasAttemptNumber()); if (hasAttemptNumber()) { result = result && (getAttemptNumber() == other.getAttemptNumber());
setFragmentNumber(other.getFragmentNumber()); if (other.hasAttemptNumber()) { setAttemptNumber(other.getAttemptNumber());