public JavaCommentScanner(IColorManager manager, IPreferenceStore store, String defaultTokenProperty) { this(manager, store, null, defaultTokenProperty, new String[] { defaultTokenProperty, TASK_TAG });
public JavaCommentScanner(IColorManager manager, IPreferenceStore store, Preferences coreStore, String defaultTokenProperty) { this(manager, store, coreStore, defaultTokenProperty, new String[] { defaultTokenProperty, TASK_TAG });
	public JavaCommentScanner(IColorManager manager, IPreferenceStore store, String defaultTokenProperty) {		this(manager, store, null, defaultTokenProperty, new String[] { defaultTokenProperty, TASK_TAG });	}