/**
* Propagates selection events to listeners.
*/
protected void fireNodeSelectionChangedEvent()
{
GraphSelectionModelEvent evt = new GraphSelectionModelEvent(this);
for(int i = 0; i < listeners.size(); i++)
{
((GraphSelectionModelListener)listeners.get(i)).selectionChanged(evt);
}