public void appendTo(Element el) {
Document doc = el.getOwnerDocument();
Element p = doc.createElement("profile");
p.setAttribute("name", name);
Iterator<String> it = ids.iterator();
while (it.hasNext()) {
Element child = doc.createElement("enable");
child.setAttribute("id", it.next());
p.appendChild(child);
}
el.appendChild(p);
}
