Tweak at the suggestion of Ezio Melotti for exception messages when

EOF is hit while trying to read the header of a bytecode file.