protected void redoTo(UndoableEdit value0) throws CannotRedoException {  }
protected void redoTo(UndoableEdit edit) throws CannotRedoException { UndoableEdit cur;  if (!edits.contains(edit)) throw new CannotRedoException();  while (true) { cur = (UndoableEdit) edits.get(indexOfNextAdd); indexOfNextAdd += 1; cur.redo(); if (cur == edit) return; } }
	protected void redoTo(UndoableEdit value0) throws CannotRedoException {		// TODO	} // redoTo()