public JavaDocScanner(IColorManager manager, IPreferenceStore store) { this(manager, store, null);
public JavaDocScanner(IColorManager manager, IPreferenceStore store, Preferences coreStore) { super(manager, store, coreStore, IJavaColorConstants.JAVADOC_DEFAULT, fgTokenProperties);
	public JavaDocScanner(IColorManager manager, IPreferenceStore store) {		this(manager, store, null);	}