public void redo() throws CannotRedoException { if (canRedo() == false) { throw new CannotRedoException(); } hasBeenDone = true; }
public void redo() throws CannotRedoException { if (!canRedo()) throw new CannotRedoException(); hasBeenDone = true; }
	public void redo() throws CannotRedoException {		if (canRedo() == false) {			throw new CannotRedoException();		}		hasBeenDone = true;	} // redo()