for (int i = 0; i < ((Graph) e.widget).getSelection().size(); i++)
if (((Graph) e.widget).getSelection().get(i) instanceof GSSElementGraphNode) {
GSSElementGraphNode selectedNode = (GSSElementGraphNode) ((Graph) e.widget)
.getSelection().get(i);
selectedNode.highlight();
selectedNode.mark();
selectedNode.markChildren();
selectedNode.markParents();
}
}