Javadoc: RecordMaintainer and RecordFileSystem