JavaCore core= JavaCore.getJavaCore(); JavaPlugin plugin= JavaPlugin.getDefault(); if (core != null && plugin != null) if (JavaCore.SPACE.equals(JavaCore.getOption(DefaultCodeFormatterConstants.FORMATTER_TAB_CHAR)))
if (!isStandalone()) if (JavaCore.SPACE.equals(getCoreFormatterOption(DefaultCodeFormatterConstants.FORMATTER_TAB_CHAR)))
	private int prefTabLength() {		int tabLen;		JavaCore core= JavaCore.getJavaCore();		JavaPlugin plugin= JavaPlugin.getDefault();		if (core != null && plugin != null)			if (JavaCore.SPACE.equals(JavaCore.getOption(DefaultCodeFormatterConstants.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 we use tabs, get the formatter length setting for tab width				tabLen= plugin.getCombinedPreferenceStore().getInt(DefaultCodeFormatterConstants.FORMATTER_TAB_SIZE);		else			tabLen= 4; // sensible default for testing		return tabLen;	}