if (markers.size() > 0)
if (markers.size() > 0) {
	public void mouseDown(MouseEvent e) {		//Only capture left clicks.		if (e.button == 1) {			obtainFindBugsMarkers();			if (markers.size() > 0)				update();		}	}