public synchronized void discardAllEdits() {  }
public synchronized void discardAllEdits() { int size;  size = edits.size(); for (int i = size - 1; i >= 0; i--) ((UndoableEdit) edits.get(i)).die(); indexOfNextAdd = 0; edits.clear(); }
	public synchronized void discardAllEdits() {		// TODO	} // discardAllEdits()