menu = new Menu(parent);
ILabelProvider labelprovider = new WorkbenchLabelProvider();
final ISessionManager manager = CoverageTools.getSessionManager();
ICoverageSession[] sessions = manager.getSessions();
ICoverageSession active = manager.getActiveSession();
for (int i = 0; i < sessions.length; i++) {
final ICoverageSession session = sessions[i];
MenuItem item = new MenuItem(menu, SWT.RADIO);
Object[] labelparams = new Object[] { new Integer(i + 1),
labelprovider.getText(session) };
item.setText(NLS.bind(UIMessages.SessionsView_selectSessionsEntryLabel,
labelparams));