protected void distributeSelectionEvent() {
		java.util.Iterator it = selectionListeners.iterator();
		while (it.hasNext()) {
			SelectionListener listener = (SelectionListener) it.next();
			listener.selectionChanged(EVENT);
		}
	}