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