}
public void abort(WorkItem workItem) {
WorkItemManager manager = workItems.get(workItem);
if (manager != null) {
manager.abortWorkItem(workItem.getId());
}
workItems.remove(workItem);
update();
selectButton.setEnabled(getSelectedWorkItem() != null);
}