protected SWTBotTable getQuickFixTable(SWTBotShell quickFixShell) throws QuickFixNotFoundException {
try {
Table table = (Table) bot.widget(widgetOfType(Table.class), quickFixShell.widget);
return new SWTBotTable(table);
} catch (Exception e) {
throw new QuickFixNotFoundException("Quickfix options not found. Giving up.", e); //$NON-NLS-1$
}
}