UIMessages.CoverageViewSelectSessionActionEntry_label, labelparams));
item.setImage(labelprovider.getImage(session));
item.setSelection(session == active);
item.addSelectionListener(new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
manager.activateSession(session);
}
});
}
return menu;
}