fSourceViewerConfiguration= new JavaSourceViewerConfiguration(tools.getColorManager(), fPreferenceStore, null, null);
fSourceViewerConfiguration= new JavaSourceViewerConfiguration(tools.getColorManager(), fPreferenceStore, null, getDocumentPartitioning());
	private void setPreferenceStore(IPreferenceStore ps) {		if (fPreferenceChangeListener != null) {			if (fPreferenceStore != null)				fPreferenceStore.removePropertyChangeListener(fPreferenceChangeListener);			fPreferenceChangeListener= null;		}		fPreferenceStore= ps;		if (fPreferenceStore != null) {			JavaTextTools tools= JavaCompareUtilities.getJavaTextTools();			fSourceViewerConfiguration= new JavaSourceViewerConfiguration(tools.getColorManager(), fPreferenceStore, null, null);			fPreferenceChangeListener= new IPropertyChangeListener() {				public void propertyChange(PropertyChangeEvent event) {					handlePropertyChange(event);				}			};			fPreferenceStore.addPropertyChangeListener(fPreferenceChangeListener);		}	}