PlatformUI.getWorkbench().
getActiveWorkbenchWindow().
getActivePage();
// The task view
final TaskList taskList =
currentTaskMarkers.length > 0 ? (TaskList)
activePage.showView(MarkerViewUtil.
getViewId(currentTaskMarkers[0])) : null;
Display.getCurrent().asyncExec(new Runnable() {
public void run() {
if (taskList != null) {
taskList.setSelection(new
StructuredSelection(currentTaskMarkers),
true);
}
if (currentProblemMarkers.length>0) {
MarkerViewUtil.showMarker(activePage,