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