name = name.replace(' ', '_');
name = correctName(name);
    public void setValue(String name, String value)    {        if (name == null) name = "null";        if (value == null) value = "null";        name = name.replace(' ', '_');        Element e;        if ((e = getElementById(name)) == null)        {            dom.getDocumentElement().appendChild(                e = dom.createElement("preference"));            e.setAttribute("id", name);        }        e.setAttribute("value", value);    }