ConsoleReader::readLine() doesn't return null when end of stream is reached

[sunchao]

According to the doc, readLine should return null when EOF is reached. However in the case that terminal is not supported, it will return empty string instead. This seems like a bug.

[nrg4878]

I have run into this issue too when reading a line from a file created using something like this
$ echo -n "select * from testTable;" > /tmp/testFile.script