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();
}
}
});