public class ArrayTest1Main {
/**
* @param args
*/
public static void main(String[] args) {
ArrayTest1 test = new ArrayTest1();
long handle = test.$GET$CHECKPOINT().createCheckpoint();
test.modify();
test.$GET$CHECKPOINT().rollback(handle, true);
test.dump();
}