A tiny serialization framework for Java