DefaultUserAgent: reportingDocType defaults to true, no need to set it.

Author: carlosame

src/io/sf/carte/doc/agent/net/DefaultUserAgent.java

@@ -131,7 +131,6 @@ public DOMDocument readURL(URL url) throws IOException, io.sf.carte.doc.Document
 		XMLDocumentBuilder builder = new XMLDocumentBuilder(domImpl);
 		if (isHtml) {
 			HtmlParser parser = new HtmlParser(XmlViolationPolicy.ALTER_INFOSET);
-			parser.setReportingDoctype(true);
 			parser.setCommentPolicy(XmlViolationPolicy.ALLOW);
 			parser.setXmlnsPolicy(XmlViolationPolicy.ALLOW);
 			builder.setHTMLProcessing(true);