protected void _postEdit(UndoableEdit value0) {  }
protected void _postEdit(UndoableEdit edit) { UndoableEditEvent event; Iterator iter;   if (listeners.isEmpty()) return;  event = new UndoableEditEvent(realSource, edit);        iter = ((Vector) listeners.clone()).iterator(); while (iter.hasNext()) ((UndoableEditListener) iter.next()).undoableEditHappened(event); }
	protected void _postEdit(UndoableEdit value0) {		// TODO	} // _postEdit()