((SourceViewer)textViewer).configure(new JavaSourceViewerConfiguration(tools, null));
((SourceViewer)textViewer).configure(getSourceViewerConfiguration());
	protected void configureTextViewer(TextViewer textViewer) {		if (textViewer instanceof SourceViewer) {			JavaTextTools tools= JavaCompareUtilities.getJavaTextTools();			if (tools != null)				((SourceViewer)textViewer).configure(new JavaSourceViewerConfiguration(tools, null));		}	}