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