if (tools != null) fSourceViewer.configure(new JavaSourceViewerConfiguration(tools, null));
if (tools != null) { IPreferenceStore store= JavaPlugin.getDefault().getCombinedPreferenceStore(); fSourceViewer.configure(new JavaSourceViewerConfiguration(tools.getColorManager(), store, null, null)); }
	JavaTextViewer(Composite parent) {		fSourceViewer= new SourceViewer(parent, null, SWT.H_SCROLL + SWT.V_SCROLL);		JavaTextTools tools= JavaCompareUtilities.getJavaTextTools();		if (tools != null)			fSourceViewer.configure(new JavaSourceViewerConfiguration(tools, null));		fSourceViewer.setEditable(false);	}