Searched refs:doctype_system (Results 1 – 1 of 1) sorted by relevance
235 String doctype_system = (String)options.get("--doctype-system="); in chooseContentHandler() local236 if (doctype_system != null) { in chooseContentHandler()237 x.setOutputProperty(XMLWriter.DOCTYPE_SYSTEM, doctype_system); in chooseContentHandler()