code: public String readLineNoChop() throws IOException
    {
      CharBuffer cb = new CharBuffer();
  
      if (readLine(cb, false))
        return cb.toString();
      else if (cb.length() == 0)
        return null;
      else
        return cb.toString();
    }
docs: Reads a line, returning a string.