FindbugsPlugin.getDefault().logException(e, "Could not open view: " + viewId);
return;
}
}
if (view instanceof IMarkerSelectionHandler) {
IMarkerSelectionHandler handler = (IMarkerSelectionHandler) view;
handler.markerSelected(source, marker);
} else if (DETAILS_VIEW_ID.equals(viewId) && view instanceof ISelectionListener) {
ISelectionListener listener = (ISelectionListener) view;
listener.selectionChanged(source, new StructuredSelection(marker));
}
}