@NotNull
  public static String toXml(@NotNull Configuration configuration) {
    configuration = configuration.copy();
    configuration.getMatchOptions().setScope(null); // don't export scope
    final String className = configuration.getClass().getSimpleName();
    final Element element = new Element(Character.toLowerCase(className.charAt(0)) + className.substring(1));
    configuration.writeExternal(element);
    if (Boolean.parseBoolean(element.getAttributeValue(OLD_CASE_SENSITIVE_ATTRIBUTE_NAME))) {
      element.setAttribute(CASE_SENSITIVE_ATTRIBUTE_NAME, "true");
    }
    element.removeAttribute(OLD_CASE_SENSITIVE_ATTRIBUTE_NAME);
    return JDOMUtil.writeElement(element);
  }
@NotNull
  public static String toXml(@NotNull Configuration configuration)