void (@NotNull Element element) { attributes.writeExternal(element); if (indexPattern.isCaseSensitive()) { element.setAttribute(CASE_SENS_ATT, "true"); } element.setAttribute(PATTERN_ATT, indexPattern.getPatternString()); }