{ int ch; readBufferPos = readBufferLength = 0;  is.mark (readBuffer.length); while (true) { ch = is.read (); readBuffer [readBufferLength++] = (char) ch; switch (ch) { case (int) '>': return; case -1: error ("file ends before end of XML or encoding declaration.", null, "?>"); } if (readBuffer.length == readBufferLength) error ("unfinished XML or encoding declaration"); } }
{ int ch; readBufferPos = readBufferLength = 0;  is.mark(readBuffer.length); while (true) { ch = is.read(); readBuffer[readBufferLength++] = (char) ch; switch (ch) { case (int) '>': return; case -1: error("file ends before end of XML or encoding declaration.", null, "?>"); } if (readBuffer.length == readBufferLength) { error("unfinished XML or encoding declaration"); } } }
    private void prefetchASCIIEncodingDecl ()    throws SAXException, IOException    {	int ch;	readBufferPos = readBufferLength = 0;	is.mark (readBuffer.length);	while (true) {	    ch = is.read ();	    readBuffer [readBufferLength++] = (char) ch;	    switch (ch) {	      case (int) '>':		return;	      case -1:		error ("file ends before end of XML or encoding declaration.",		       null, "?>");	    }	    if (readBuffer.length == readBufferLength)		error ("unfinished XML or encoding declaration");	}    }