34353637383940414243
* @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(); } }