JsonPlugin works correctly, but I haven't fully tested checkpoints yet. Also fixed build.xml and various problems related to persistence.