(unfinished) Java binary object deserializer