102103104105106107108109
return d; } } private Document parse(XMLSource source) { PatchedXMLParser parser = new PatchedXMLParser(); return parser.parse(source); }