readBuffer [j] = c; if (c == '\r') {
} readBuffer[j] = c; if (c == '\r') {
    private void copyIso8859_1ReadBuffer (int count, char mask)    throws IOException    {	int i, j;	for (i = 0, j = readBufferPos; i < count; i++, j++) {	    char c = (char) (rawReadBuffer [i] & 0xff);	    if ((c & mask) != 0)		throw new CharConversionException ("non-ASCII character U+"						    + Integer.toHexString (c));	    if (c == 0x0085 && xmlVersion == XML_11)	       c = '\r';		    readBuffer [j] = c;	    if (c == '\r') {		sawCR = true;	    }	}	readBufferLength = j;    }