The RecordFragment class now implements the I/O operations with properties.