Mark duplicated RecordFormatException as deprecated to be able to remove it at some point in the future