error ("unfinished XML or encoding declaration");
{ 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");	}    }