// Don't generate EnumValue elements for hidden preferences
logger.log(TreeLogger.DEBUG, "No, not generating enumvalue elements for hidden pref", null);
return;
}
JEnumType enumType = getEnumType(preferenceType);
assert enumType != null;
// Order the JEnumConstants by ordinal value
SortedSet<JEnumConstant> constants = new TreeSet<JEnumConstant>(
new Comparator<JEnumConstant>() {
public int compare(JEnumConstant o1, JEnumConstant o2) {
return o1.getOrdinal() - o2.getOrdinal();
}
});
constants.addAll(Arrays.asList(enumType.getEnumConstants()));
for (JEnumConstant constant : constants) {
Element enumValue = (Element) userPref.appendChild(d.createElement("EnumValue"));
enumValue.setAttribute("value", constant.getName());