Java serialization and cloning: fast, efficient, automatic