Text ATerms can be shorter than BAF header, so EOF may occur during header check. Fixed.
Text ATerms can be shorter than BAF header, so EOF may occur during header check. Fixed.

svn path=/spoofax/trunk/spoofax/org.spoofax.aterm/; revision=16418

metaborg/mb-rep,metaborg/mb-rep