setNetworkProtocol(other.getNetworkProtocol()); if (other.hasServerName()) { bitField0_ |= 0x00000004; serverName_ = other.serverName_;
setNetworkProtocol(other.getNetworkProtocol()); if (other.hasServerName()) { bitField0_ |= 0x00000004; serverName_ = other.serverName_;