}
});
showPathMenuItem.addSelectionListener(new SelectionAdapter() {
public void widgetSelected(SelectionEvent arg0) {
ShowSpreadingPath showConcept = new ShowSpreadingPath(shell);
String[] concepts;
try {
concepts = controller.getAvailableSpreading();
Arrays.sort(concepts);
showConcept.setConcepts(concepts);
String uri = (String) showConcept.open();
if(uri != null){
viewer.setGraph(controller.createGraphForSpreading(uri));
updateGraph();
}
} catch (ConceptNotFoundException e) {