for (JEnumConstant constant : constants) {
Element enumValue = (Element) userPref.appendChild(d.createElement("EnumValue"));
enumValue.setAttribute("value", constant.getName());
EnumDisplayValue displayValue = constant.getAnnotation(EnumDisplayValue.class);
if (displayValue != null) {
enumValue.setAttribute("display_value", displayValue.value());
}
}
}