return new ProblemTableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
return new ProblemTableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL) { protected void handleLabelProviderChanged(LabelProviderChangedEvent event) { getTable().setRedraw(false); try { super.handleLabelProviderChanged(event); } finally { getTable().setRedraw(true); } } };
	protected TableViewer createTableViewer(Composite parent) {		return new ProblemTableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);	}