public synchronized void removeUndoableEditListener(UndoableEditListener value0) {  }
public synchronized void removeUndoableEditListener(UndoableEditListener val) { listeners.removeElement(val); }
	public synchronized void removeUndoableEditListener(UndoableEditListener value0) {		// TODO	} // removeUndoableEditListener()