setTimeout(other.getTimeout());
hash = (53 * hash) + getTimeout();
result = result && (getTimeout() == other.getTimeout());
result = result && (getTimeout() == other.getTimeout());
setTimeout(other.getTimeout());
hash = (53 * hash) + getTimeout();
proc.setTimeout(proto.getTimeout());
proc.setTimeout(proto.getTimeout());
proc.setTimeout(proto.getTimeout());