491492493494495496497498499500501
xml = new XMLWriter(out, format); xml.startDocument(); xml.startDTD("catalogs", PUBLIC_ID, SYSTEM_ID); xml.endDTD(); _saveCatalogs(xml, catalogs); xml.endDocument(); } finally {