Buggy code:
public final class HTMLdtd { public static final String HTMLPublicId = "-////W3C////DTD<seq2seq4repair_space>HTML<seq2seq4repair_space>4.0////EN" ; public static final String HTMLSystemId = "http:////www.w3.org//TR//WD-html-in-xml//DTD//xhtml1-strict.dtd" ; public static final String XHTMLPublicId = "-////W3C////DTD<seq2seq4repair_space>XHTML<seq2seq4repair_space>1.0<seq2seq4repair_space>Strict////EN" ; public static final String XHTMLSystemId = "http:////www.w3.org//TR//WD-html-in-xml//DTD//xhtml1-strict.dtd" ; private static Hashtable _byChar ; private static Hashtable _byName ; private static Hashtable _boolAttrs ; private static Hashtable _elemDefs ; private static final String ENTITIES_RESOURCE = "HTMLEntities.res" ; private static final int ONLY_OPENING = 1 ; private static final int ELEM_CONTENT = 2 ; private static final int PRESERVE = 4 ; private static final int OPT_CLOSING = 8 ; private static final int EMPTY = 16 | ( HTMLdtd . ONLY_OPENING ) ; private static final int ALLOWED_HEAD = 32 ; private static final int CLOSE_P = 64 ; private static final int CLOSE_DD_DT = 128 ; private static final int CLOSE_SELF = 256 ; private static final int CLOSE_TABLE = 512 ; private static final int CLOSE_TH_TD = 16384 ; public static boolean isEmptyTag ( String tagName ) { } public static boolean isElementContent ( String tagName ) { } public static boolean isPreserveSpace ( String tagName ) { } public static boolean isOptionalClosing ( String tagName ) { } public static boolean isOnlyOpening ( String tagName ) { } public static boolean isClosing ( String tagName , String openTag ) { } public static boolean isURI ( String tagName , String attrName ) { } public static boolean isBoolean ( String tagName , String attrName ) { } public static int charFromName ( String name ) { } public static String fromChar ( int value ) { } private static void initialize ( ) { InputStream is = null ; BufferedReader reader = null ; int index ; String name ; String value ; int code ; String line ; if ( ( HTMLdtd . _byName ) != null ) return ; try { HTMLdtd . _byName = new Hashtable ( ) ; HTMLdtd . _byChar = new Hashtable ( ) ; is = HTMLdtd . class . getResourceAsStream ( HTMLdtd . ENTITIES_RESOURCE ) ; if ( is == null ) throw new RuntimeException ( ( ( ( "SER003<seq2seq4repair_space>The<seq2seq4repair_space>resource<seq2seq4repair_space>[" + ( HTMLdtd . ENTITIES_RESOURCE ) ) + "]<seq2seq4repair_space>could<seq2seq4repair_space>not<seq2seq4repair_space>be<seq2seq4repair_space>found.\n" ) + ( HTMLdtd . ENTITIES_RESOURCE ) ) ) ; <START_BUG> reader = new BufferedReader ( new InputStreamReader ( is ) ) ; <END_BUG> line = reader . readLine ( ) ; while ( line != null ) { if ( ( ( line . length ( ) ) == 0 ) || ( ( line . charAt ( 0 ) ) == '#' ) ) { line = reader . readLine ( ) ; continue ; } index = line . indexOf ( '<seq2seq4repair_space>' ) ; if ( index > 1 ) { name = line . substring ( 0 , index ) ; ++ index ; if ( index < ( line . length ( ) ) ) { value = line . substring ( index ) ; index = value . indexOf ( '<seq2seq4repair_space>' ) ; if ( index > 0 ) value = value . substring ( 0 , index ) ; code = Integer . parseInt ( value ) ; HTMLdtd . defineEntity ( name , ( ( char ) ( code ) ) ) ; } } line = reader . readLine ( ) ; } is . close ( ) ; } catch ( Exception except ) { throw new RuntimeException ( ( ( ( ( ( ( ( "SER003<seq2seq4repair_space>The<seq2seq4repair_space>resource<seq2seq4repair_space>[" + ( HTMLdtd . ENTITIES_RESOURCE ) ) + "]<seq2seq4repair_space>could<seq2seq4repair_space>not<seq2seq4repair_space>load:<seq2seq4repair_space>" ) + ( except . toString ( ) ) ) + "\n" ) + ( HTMLdtd . ENTITIES_RESOURCE ) ) + "\t" ) + ( except . toString ( ) ) ) ) ; } finally { if ( is != null ) { try { is . close ( ) ; } catch ( Exception except ) { } } } } private static void defineEntity ( String name , char value ) { } private static void defineElement ( String name , int flags ) { } private static void defineBoolean ( String tagName , String attrName ) { } private static void defineBoolean ( String tagName , String [ ] attrNames ) { } private static boolean isElement ( String name , int flag ) { } }

Fix:
reader = new BufferedReader ( new InputStreamReader ( is , "ASCII" ) ) ;