}
public void fireSelectionChangedEvent() {
Iterator iter = selectionListeners.iterator();
while (iter.hasNext()) {
GraphSelectionListener l = (GraphSelectionListener) iter.next();
l.selectionChanged(new GraphSelectionEvent(null, nodeSelection));
}
}