switch back from JSON to Java serialization
fixed #436
Release commit