```EOFException extends IOException```.
Это значит, что если файл "битый", вы можете рассматривать EOF как очередной вариант IOException. Т.к. вы уже их обрабатываете, вам для этого не нужно ни одной дополнительной строки.