734735736737738739740741742743744
} catch (EOFException e) { c = -1; } if (c != term) { readStream.ungetc(c); return true; } } while (c != -1); return false;
789790791792793794795796797798799
804805806807808809810811812813814