int tabSize= JavaPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
int tabSize= JavaPlugin.getDefault().getPreferenceStore().getInt(ExtendedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH);
	private int whiteSpaceLength(String indent) {		if (indent == null)			return 0;		else {			int size= 0;			int l= indent.length();			int tabSize= JavaPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);						for (int i= 0; i < l; i++)				size += indent.charAt(i) == '\t' ? tabSize : 1;			return size;		}	}