IWorkbenchPage[] pages = FindbugsPlugin.getDefault() .getActiveWorkbenchWindow().getPages();
IWorkbenchPage[] pages = FindbugsPlugin.getActiveWorkbenchWindow().getPages();
	public void update() {		if (markers.size() > 0) {			//Obtain the current workbench page, and show the DetailsView			IWorkbenchPage[] pages = FindbugsPlugin.getDefault()					.getActiveWorkbenchWindow().getPages();			if (pages.length > 0) {				try {					pages[0].showView("de.tobject.findbugs.view.detailsview");					IMarker marker = (IMarker) markers.get(0);					FindbugsPlugin.getViewDetails().setContent(							marker.getAttribute("shortDescription", ""),							marker.getAttribute("detailText", ""));				} catch (PartInitException e) {					//TODO: log view exception				}			}		}	}