EfficientCheckpointingofJavaSoftware.pdf