Patch: ZipFile.getInputStream shouldn't throw NoSuchElement.

[Tom Tromey]

>>>>> "Anthony" == Anthony Green <green@redhat.com> writes:

Anthony> Applications are depending on this behaviour, and it's an intuitive
Anthony> enough result that I think we should just make this change.

If Sun returns null here, and applications depend on this, then we
should just be compatible and make a @specnote in the javadoc
explaining the situation.

Tom