public readLine() as String throws IOException
Reads one line from the current reader position.
When a line terminator is present, it is part of the returned string. This follows Python-like readline() semantics and makes an empty line distinguishable from end-of-stream: an empty line returns "\n" (or "\r\n"), while end-of-stream returns "".
Next line including its line terminator when present, or "" at end-of-stream.