Made SerializationException non-abstract