void distributeSelectionEvent(ConfigurationSelectionEvent event) {
		Iterator it = selectionListeners.iterator();
		while (it.hasNext()) {
			ConfigurationSelectionListener listener = (ConfigurationSelectionListener) it
					.next();
			listener.configurationSelectionChange(event);
		}
	}