Plugin plugin= JavaCore.getPlugin(); if (plugin != null) { String option= JavaCore.getOption(DefaultCodeFormatterConstants.FORMATTER_INDENT_BODY_DECLARATIONS_COMPARE_TO_TYPE_HEADER);
if (!isStandalone()) { String option= getCoreFormatterOption(DefaultCodeFormatterConstants.FORMATTER_INDENT_BODY_DECLARATIONS_COMPARE_TO_TYPE_HEADER);
	private int prefTypeIndent() {		Plugin plugin= JavaCore.getPlugin();		if (plugin != null) {			String option= JavaCore.getOption(DefaultCodeFormatterConstants.FORMATTER_INDENT_BODY_DECLARATIONS_COMPARE_TO_TYPE_HEADER);			if (option.equals(DefaultCodeFormatterConstants.FALSE))				return 0;		}				return 1; // sensible default	}