removed the old serialization code; will not be used anymore