DefaultUserAgent: return a DefaultUserAgent in createUserAgent().

Author: carlosame

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

@@ -29,7 +29,6 @@
 import io.sf.carte.doc.DocumentException;
 import io.sf.carte.doc.agent.AbstractUserAgent;
 import io.sf.carte.doc.agent.AgentUtil;
-import io.sf.carte.doc.agent.UserAgent;
 import io.sf.carte.doc.dom.CSSDOMImplementation;
 import io.sf.carte.doc.dom.DOMDocument;
 import io.sf.carte.doc.dom.HTMLDocument;
@@ -67,7 +66,7 @@ protected DefaultUserAgent(EnumSet<Parser2.Flag> parserFlags, boolean setDefault
 	 *            if true, a default user agent HTML style sheet is loaded.
 	 * @return the user agent.
 	 */
-	public static UserAgent createUserAgent(EnumSet<Parser2.Flag> parserFlags, boolean setDefaultSheet) {
+	public static DefaultUserAgent createUserAgent(EnumSet<Parser2.Flag> parserFlags, boolean setDefaultSheet) {
 		return new DefaultUserAgent(parserFlags, setDefaultSheet);
 	}
 
@@ -151,7 +150,6 @@ public DOMDocument readURL(URL url) throws IOException, io.sf.carte.doc.Document
 				is.close();
 			}
 		}
-		//htmlDoc.getDocumentElement().normalize();
 		htmlDoc.setDocumentURI(url.toExternalForm());
 		htmlDoc.setLoadingTime(time);
 		// Check for preferred style