protected void undoTo(UndoableEdit value0) throws CannotUndoException {  }
protected void undoTo(UndoableEdit edit) throws CannotUndoException { UndoableEdit cur;  if (!edits.contains(edit)) throw new CannotUndoException();  while (true) { indexOfNextAdd -= 1; cur = (UndoableEdit) edits.get(indexOfNextAdd); cur.undo(); if (cur == edit) return; } }
	protected void undoTo(UndoableEdit value0) throws CannotUndoException {		// TODO	} // undoTo()