public void widgetSelected(SelectionEvent e) {
// check that the editor is not dirty
if (!getEditor().isDirty()) {
IStructuredSelection selection = (IStructuredSelection) tasksListViewer.getSelection();
AbstractTask task = (AbstractTask) selection.getFirstElement();
if (task.canExecute()) {
try {
task.execute();
tasksListSectionPart.markStale();
tasksListSectionPart.markDirty();
} catch (TaskException e1) {