tabLen= plugin.getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
tabLen= plugin.getPreferenceStore().getInt(ExtendedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH);
	private int prefTabLength() {		int tabLen;		JavaCore core= JavaCore.getJavaCore();		JavaPlugin plugin= JavaPlugin.getDefault();		if (core != null && plugin != null)			if (JavaCore.SPACE.equals(JavaCore.getOption(JavaCore.FORMATTER_TAB_CHAR)))				// if the formatter uses chars to mark indentation, then don't substitute any chars				tabLen= -1; // results in no tabs being substituted for space runs			else				// if the formatter uses tabs to mark indentations, use the visual setting from the editor 				// to get nicely aligned indentations				tabLen= plugin.getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);		else			tabLen= 4; // sensible default for testing		return tabLen;	}