public JavaTextTools(IPreferenceStore store, Preferences coreStore, boolean autoDisposeOnDisplayDispose) { fPreferenceStore= store; fPreferenceStore.addPropertyChangeListener(fPreferenceListener);  fCorePreferenceStore= coreStore; if (fCorePreferenceStore != null) fCorePreferenceStore.addPropertyChangeListener(fPreferenceListener);  fColorManager= new JavaColorManager(autoDisposeOnDisplayDispose); fCodeScanner= new JavaCodeScanner(fColorManager, store); fMultilineCommentScanner= new JavaCommentScanner(fColorManager, store, coreStore, IJavaColorConstants.JAVA_MULTI_LINE_COMMENT); fSinglelineCommentScanner= new JavaCommentScanner(fColorManager, store, coreStore, IJavaColorConstants.JAVA_SINGLE_LINE_COMMENT); fStringScanner= new SingleTokenJavaScanner(fColorManager, store, IJavaColorConstants.JAVA_STRING); fJavaDocScanner= new JavaDocScanner(fColorManager, store, coreStore); fPartitionScanner= new FastJavaPartitionScanner();
public JavaTextTools(IPreferenceStore store) { this(store, null, true);
	public JavaTextTools(IPreferenceStore store, Preferences coreStore, boolean autoDisposeOnDisplayDispose) {		fPreferenceStore= store;		fPreferenceStore.addPropertyChangeListener(fPreferenceListener);		fCorePreferenceStore= coreStore;		if (fCorePreferenceStore != null)			fCorePreferenceStore.addPropertyChangeListener(fPreferenceListener);		fColorManager= new JavaColorManager(autoDisposeOnDisplayDispose);		fCodeScanner= new JavaCodeScanner(fColorManager, store);		fMultilineCommentScanner= new JavaCommentScanner(fColorManager, store, coreStore, IJavaColorConstants.JAVA_MULTI_LINE_COMMENT);		fSinglelineCommentScanner= new JavaCommentScanner(fColorManager, store, coreStore, IJavaColorConstants.JAVA_SINGLE_LINE_COMMENT);		fStringScanner= new SingleTokenJavaScanner(fColorManager, store, IJavaColorConstants.JAVA_STRING);		fJavaDocScanner= new JavaDocScanner(fColorManager, store, coreStore);		fPartitionScanner= new FastJavaPartitionScanner();	}