if (plugin != null) if (plugin.getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_SPACES_FOR_TABS))
if (core != null) if (JavaCore.SPACE.equals(JavaCore.getOption(JavaCore.FORMATTER_TAB_CHAR)))
	private int prefTabLength() {		int tabLen;		// TODO adjust once this is a per-project setting		JavaPlugin plugin= JavaPlugin.getDefault();		if (plugin != null)			if (plugin.getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_SPACES_FOR_TABS))				tabLen= -1; // results in no tabs being substituted for space runs			else				tabLen= plugin.getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);		else			tabLen= 4; // sensible default for testing		return tabLen;	}