return 0;
Plugin plugin= JavaCore.getPlugin(); if (plugin != null) { if (DefaultCodeFormatterConstants.TRUE.equals(JavaCore.getOption(DefaultCodeFormatterConstants.FORMATTER_INDENT_SWITCHSTATEMENTS_COMPARE_TO_SWITCH))) return 0; else return prefBlockIndent(); }  return 0;
	private int prefCaseIndent() {		return 0; // default: sun default is not to indent cases	}