if (data.hasRawFileTimeStamp()) this.rawFileTimeStamp = data.getRawFileTimeStamp(); if (data.hasRawRecordNumber()) this.rawRecordNumber = data.getRawRecordNumber(); if (0 != data.getUuidsCount())
onChanged(); if (other.hasRawRecordNumber()) { setRawRecordNumber(other.getRawRecordNumber());