public synchronized void redo() throws CannotRedoException {  }
public synchronized void redo() throws CannotRedoException { if (!isInProgress()) { super.redo(); return; }  UndoableEdit edit = editToBeRedone(); if (edit == null) throw new CannotRedoException();  redoTo(edit); }
	public synchronized void redo() throws CannotRedoException {		// TODO	} // redo()