char c = readCh(); if (c == '\uffff')
int c = readCh(); if (c == -1)
  private void readUntil(String delim)    throws IOException, XMLStreamException  {    int startLine = input.line;    try      {        while (!tryRead(delim))          {            char c = readCh();            if (c == '\uffff')              throw new EOFException();            else if (c < 32 && c != 10 && c != 9 && c != 13)              error("illegal XML character", Character.toString(c));            buf.append(c);          }      }    catch (EOFException e)      {        error("end of input while looking for delimiter "+              "(started on line " + startLine + ')', delim);      }  }