return new PropertiesFileSourceViewerConfiguration(textTools.getColorManager(), store, null, null);
return new PropertiesFileSourceViewerConfiguration(textTools.getColorManager(), store, null, getDocumentPartitioning());
	private SourceViewerConfiguration getSourceViewerConfiguration(JavaTextTools textTools) {		IPreferenceStore store= JavaPlugin.getDefault().getCombinedPreferenceStore();		return new PropertiesFileSourceViewerConfiguration(textTools.getColorManager(), store, null, null);	}