a little cleanup of AppletSerializer