if (getSourceViewerConfiguration() instanceof JavaSourceViewerConfiguration) ((JavaSourceViewerConfiguration)getSourceViewerConfiguration()).setCombinedPreferenceStore(store);
if (getSourceViewerConfiguration() instanceof JavaSourceViewerConfiguration) { JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools(); setSourceViewerConfiguration(new JavaSourceViewerConfiguration(textTools.getColorManager(), store, this, IJavaPartitions.JAVA_PARTITIONING)); } if (getSourceViewer() instanceof JavaSourceViewer) ((JavaSourceViewer)getSourceViewer()).setPreferenceStore(store);
	protected void setPreferenceStore(IPreferenceStore store) {		super.setPreferenceStore(store);		if (getSourceViewerConfiguration() instanceof JavaSourceViewerConfiguration)			((JavaSourceViewerConfiguration)getSourceViewerConfiguration()).setCombinedPreferenceStore(store);	}