replace jython-based pickling with minimal custom pickling