if (!checkpoints.contains(checkpoint)) {
// Rollback with the current timestamp.
// States taken at the time when the timestamp is created
// are restored to the actors managed by this checkpoint
// object.
checkpoint.rollback(checkpoint.getTimestamp(), true);
checkpoints.add(checkpoint);
}
}
}
}