Do a loop. readLine() returns null on end-of-file. So loop "if readLine() is not null".