// ----------------------------
Enumeration e = parameters.keys();
while(e.hasMoreElements()) {
String name = (String) e.nextElement();
Parameter p = (Parameter) parameters.get(name);
descTable.addElement(new TR()
.addElement(new TD().addElement(name))
.addElement(new TD().addElement(TYPE_NAMES[p.type]))
.addElement(
new TD().addElement(p.defaultValue != null ? p.defaultValue.toString() : "-"))
.addElement(new TD().addElement(p.parameterDescription != null ? p.parameterDescription : "-")));