//default value and options:
if (param.hasDefaultValue() || param.hasOptions()) {
//get serializer:
JDOMSerializer serializer = getSerializer(param);
//default value:
if (param.hasDefaultValue()) {
Object defaultValue = param.getDefaultValue();
Element defaultElem = new Element("default");
serializer.write(defaultValue, defaultElem);
elem.addContent(defaultElem);
}
//options:
if (param.hasOptions()) {
Element optionsElem = new Element("options");
Option [] options = param.getOptions();
for (int i=0; i<options.length; i++) {
String displayText = options[i].getDisplayText();
Object value = options[i].getValue();
Element optionElem = new Element("option");
optionElem.setAttribute("displayText", displayText);
serializer.write(value, optionElem);
optionsElem.addContent(optionElem);
}
elem.addContent(optionsElem);