{
XMLInputStream xmlInput = new XMLInputStream(stream,
getClass().getClassLoader());
mappingClass =
(MappingClassElement)xmlInput.readObject();
xmlInput.close();
// postUnarchive performs version number checking
// and possible format conversions
mappingClass.postUnarchive();