public Element generateXML(Document doc){
  Element root=doc.createElement("settings");
  Properties mapping=getFullMapping();
  for (  String otherParam : mapping.stringPropertyNames()) {
    Element otherParamE=doc.createElement(otherParam);
    otherParamE.setTextContent("" + mapping.get(otherParam));
    root.appendChild(otherParamE);
  }
  return root;
}

public Element generateXML ( Document doc ) { Element root = doc . createElement ( "settings" ) ; Properties mapping = getFullMapping ( ) ; for ( String otherParam : mapping . stringPropertyNames ( ) ) { Element otherParamE = doc . createElement ( otherParam ) ; otherParamE . setTextContent ( "" + mapping . get ( otherParam ) ) ; root . appendChild ( otherParamE ) ; } return root ; }
generates an xml element that encodes the settings
