attempted fix for CLassFormatError on deserialization