A Java serialization