public void appendXML(Element toElement,boolean hideDefault,Document doc){
  for (  String key : keyToTypeMap.keySet()) {
    String value=keyToValueMap.get(key);
    ParameterType type=keyToTypeMap.get(key);
    Element paramElement;
    if (type != null) {
      paramElement=type.getXML(key,value,hideDefault,doc);
    }
 else {
      paramElement=doc.createElement("parameter");
      paramElement.setAttribute("key",key);
      paramElement.setAttribute("value",value.toString());
    }
    if (paramElement != null) {
      toElement.appendChild(paramElement);
    }
  }
}

public void appendXML ( Element toElement , boolean hideDefault , Document doc ) { for ( String key : keyToTypeMap . keySet ( ) ) { String value = keyToValueMap . get ( key ) ; ParameterType type = keyToTypeMap . get ( key ) ; Element paramElement ; if ( type != null ) { paramElement = type . getXML ( key , value , hideDefault , doc ) ; } else { paramElement = doc . createElement ( "parameter" ) ; paramElement . setAttribute ( "key" , key ) ; paramElement . setAttribute ( "value" , value . toString ( ) ) ; } if ( paramElement != null ) { toElement . appendChild ( paramElement ) ; } } }
appends the elements describing these parameters to the given element .
