some versions of javac couldn't infer type of SerializedObjects.readObject
Merge branch 'hotfix' into develop