DefaultUserAgent: HTML processing is now optional in XMLDocumentBuilder.

Author: carlosame

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

@@ -134,6 +134,7 @@ public DOMDocument readURL(URL url) throws IOException, io.sf.carte.doc.Document
 			parser.setReportingDoctype(true);
 			parser.setCommentPolicy(XmlViolationPolicy.ALLOW);
 			parser.setXmlnsPolicy(XmlViolationPolicy.ALLOW);
+			builder.setHTMLProcessing(true);
 			builder.setXMLReader(parser);
 		} else {
 			builder.setIgnoreElementContentWhitespace(true);