String (@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); }