In ZipInputStream.read(), there is an asymmetry between the STORED
and DEFLATED case. End of file while reading entry data should be
done consistently.

In the DEFLATED case, the crc is checked when entryEOF is set to
true. The STORED case should probably do likewise.

On the other hand, perhaps the code should do EOF processing
whenever there are no bytes left to read, without waiting for
an unproductive final read that returns -1.

But whatever we do, STORED and DEFLATED should be consistent.