private static int calculateDisplayedWidth(String string) {  final int tabWidth= JavaPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
private static int calculateDisplayedWidth(String string, int tabWidth) {
	private static int calculateDisplayedWidth(String string) {		final int tabWidth= JavaPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);		int column= 0;		for (int i= 0; i < string.length(); i++)			if ('\t' == string.charAt(i))				column += tabWidth - (column % tabWidth);			else				column++;		return column;	}