boolean (final Element option, final String name) { if (name.equals(DISPLAY_LEVEL_MAP_OPTION)) { for (Element e : option.getChild(VALUE_ATT).getChildren()) { String key = e.getName(); String levelName = e.getAttributeValue(LEVEL_ATT); HighlightSeverity severity = myManager.getSeverityRegistrar().getSeverity(levelName); HighlightDisplayLevel level = severity == null ? null : HighlightDisplayLevel.find(severity); if (level == null) continue; myDisplayLevelMap.put(key, level); } return true; } return false; }