What value does readLine() return when it has reached the end of a file?

The readLine() method returns null when it has reached the end of a file.