Bug 176441 [Markers] NPE while refreshing the problem view
I got this exception using I20070228-0930. No steps to reproduce. It seems to happen when refreshing the problem view. java.lang.NullPointerException at org.eclipse.ui.views.markers.internal.MarkerAdapter.buildAllMarkers(MarkerAdapter.java:251) at org.eclipse.ui.views.markers.internal.MarkerView.updateForContentsRefresh(MarkerView.java:570) at org.eclipse.ui.views.markers.internal.MarkerView$MarkerProcessJob.run(MarkerView.java:151) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:58)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/TableView.java
result[i] = new ColumnPixelData(width, defaultPixelData.resizable,
					addTrim);
		}
		return result;
	}
	/**
	 * Return the column sizes from the actual widget. Returns the saved column
	 * sizes if the widget hasn't been created yet or its columns haven't been
	 * initialized yet. (Note that TableLayout only initializes the column
	 * widths after the first layout, so it is possible for the widget to exist
	 * but have all its columns incorrectly set to zero width - see bug 86329)
	 * 
	 * @return ColumnPixelData
	 */
	public ColumnPixelData[] getColumnData() {
		ColumnPixelData[] defaultData = getSavedColumnData();
		Tree tree = getTree();
		if (tree != null && (tree.isDisposed() || tree.getBounds().width == 0)) {
			tree = null;
		}
		TreeColumn[] column = null;
		if (tree != null) {
			column = tree.getColumns();
		}
		ColumnPixelData[] result = new ColumnPixelData[defaultData.length];
		for (int i = 0; i < defaultData.length; i++) {
			ColumnPixelData defaultPixelData = defaultData[i];
			int width = defaultData[i].width;
			if (column != null && i < column.length) {
				TreeColumn col = column[i];