[cp-patches] Patch: DomDocument and DomHTMLParser fixes

[Lillian Angel]

Applets such as www.vassargolfcourse.com fail if the checkingCharacters
flag is true. I added a function to avoid checking this when parsing
html.

2006-04-18  Lillian Angel  <[EMAIL PROTECTED]>

        * gnu/xml/dom/DomDocument.java
        (setCheckingCharacters): New function used to set
        checkingCharacters flag.
        * gnu/xml/dom/html2/DomHTMLParser.java
        (parseDocument): Added call to set checkingCharacters flag
        to false.


Index: gnu/xml/dom/DomDocument.java
===================================================================
RCS file: /cvsroot/classpath/classpath/gnu/xml/dom/DomDocument.java,v
retrieving revision 1.10
diff -u -r1.10 DomDocument.java
--- gnu/xml/dom/DomDocument.java	18 Apr 2006 21:24:32 -0000	1.10
+++ gnu/xml/dom/DomDocument.java	18 Apr 2006 21:29:38 -0000
@@ -150,6 +150,14 @@
   }
 
   /**
+   * Sets whether to check for document characters.
+   */
+  public void setCheckingCharacters(boolean flag)
+  {
+    checkingCharacters = flag;
+  }  
+  
+  /**
    * <b>DOM L1</b>
    * Returns the constant "#document".
    */
Index: gnu/xml/dom/html2/DomHTMLParser.java
===================================================================
RCS file: /cvsroot/classpath/classpath/gnu/xml/dom/html2/DomHTMLParser.java,v
retrieving revision 1.5
diff -u -r1.5 DomHTMLParser.java
--- gnu/xml/dom/html2/DomHTMLParser.java	12 Apr 2006 16:10:25 -0000	1.5
+++ gnu/xml/dom/html2/DomHTMLParser.java	18 Apr 2006 21:29:38 -0000
@@ -125,6 +125,7 @@
       {
         document = new DomHTMLDocument();
         document.setCheckWellformedness(false);
+        document.setCheckingCharacters(false);
         
         cursor = document;