saveIconPositions(handler);
saveRoleSets(handler);
for (Iterator options = myGPOptions.entrySet().iterator(); options.hasNext();) {
Map.Entry nextEntry = (Entry) options.next();
GPOption nextOption = (GPOption)nextEntry.getValue();
if (nextOption.getPersistentValue()!=null) {
addAttribute("id", nextEntry.getKey().toString(), attrs);
addAttribute("value", nextOption.getPersistentValue(), attrs);
emptyElement("option", attrs, handler);
}
}
endElement("ganttproject-options", handler);
//