Searched refs:doctype_public (Results 1 – 1 of 1) sorted by relevance
229 String doctype_public = (String)options.get("--doctype-public="); in chooseContentHandler() local230 if (doctype_public != null) { in chooseContentHandler()231 x.setOutputProperty(XMLWriter.DOCTYPE_PUBLIC, doctype_public); in chooseContentHandler()