key= DefaultCodeFormatterConstants.FORMATTER_TAB_CHAR;
key= DefaultCodeFormatterConstants.FORMATTER_TAB_SIZE;
	private static int getIndentSize(Map preferences) {		/*		 * FORMATTER_INDENTATION_SIZE is only used if FORMATTER_TAB_CHAR is MIXED. Otherwise, the		 * indentation size is in FORMATTER_TAB_CHAR. See CodeFormatterUtil.		 */		String key;		if (DefaultCodeFormatterConstants.MIXED.equals(preferences.get(DefaultCodeFormatterConstants.FORMATTER_TAB_CHAR)))			key= DefaultCodeFormatterConstants.FORMATTER_INDENTATION_SIZE;		else			key= DefaultCodeFormatterConstants.FORMATTER_TAB_CHAR;				if (preferences.containsKey(key))			try {				return Integer.parseInt((String) preferences.get(key));			} catch (NumberFormatException e) {				// use default			}			return 4;	}