this.rawFileName = data.getRawFileName(); if (data.hasRawFileTimeStamp()) this.rawFileTimeStamp = data.getRawFileTimeStamp(); if (data.hasRawRecordNumber()) this.rawRecordNumber = data.getRawRecordNumber();
setRawFileTimeStamp(other.getRawFileTimeStamp());