String () { String rawName = myUiPreferences != null ? myUiPreferences.getProperty(OPTION_FORMATTER_PROFILE) : null; if (rawName != null) { if (PREDEFINED_ECLIPSE_PROFILES.containsKey(rawName)) { return PREDEFINED_ECLIPSE_PROFILES.get(rawName); } rawName = StringUtil.trimStart(rawName, "_"); } return rawName; }