88ec800
--- source/com/wutka/dtd/Scanner.java.orig	2013-07-27 23:42:55.310125203 +0100
88ec800
+++ source/com/wutka/dtd/Scanner.java	2013-07-27 23:43:34.668405644 +0100
88ec800
@@ -502,11 +502,6 @@
88ec800
 //    sub-section delimiters ''. These must be balanced,
88ec800
 //    but no section keyword is required:
88ec800
 //    Conditional Section
88ec800
-//[61] conditionalSect ::=  includeSect | ignoreSect
88ec800
-//[62] includeSect ::=  ''
88ec800
-//[63] ignoreSect ::=  ''
88ec800
-//[64] ignoreSectContents ::=  Ignore ('' Ignore)*
88ec800
-//[65] Ignore ::=  Char* - (Char* ('') Char*)
88ec800
 
88ec800
         for (;;)
88ec800
         {
88ec800
@@ -524,8 +519,6 @@
88ec800
                     {
88ec800
                         if ( nestingDepth == 0)
88ec800
                         {
88ec800
-                            // The end of the IGNORE conditional section
88ec800
-                            // has been found.  Break out of for loop.
88ec800
                             break;
88ec800
                         }
88ec800
                         else
88ec800
@@ -547,8 +540,6 @@
88ec800
                     ch = read();
88ec800
                     if ( ch == '[' )
88ec800
                     {
88ec800
-                        // The beginning of a new ignoreSectContents section
88ec800
-                        // has been found.  Increment nesting depth.
88ec800
                         nestingDepth++;
88ec800
                     }
88ec800
                 }