Fixing 2 bugs in LineNumberReader. We were broken when the caller mixed read() and readLine() calls. We were broken when the caller called readLine() after the end of the stream.