public JavaSourceViewerConfiguration(JavaTextTools tools, ITextEditor editor, String partitioning) { fJavaTextTools= tools;
public JavaSourceViewerConfiguration(IColorManager colorManager, IPreferenceStore newPreferenceStore, ITextEditor editor, String partitioning) { fColorManager= colorManager; setNewPreferenceStore(newPreferenceStore);
	public JavaSourceViewerConfiguration(JavaTextTools tools, ITextEditor editor, String partitioning) {		fJavaTextTools= tools;		fTextEditor= editor;		fDocumentPartitioning= partitioning;		setNewPreferenceStore(createNewPreferenceStore());	}