[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patch: ZipFile.getInputStream shouldn't throw NoSuchElement.
|
From: |
Tom Tromey |
|
Subject: |
Re: Patch: ZipFile.getInputStream shouldn't throw NoSuchElement. |
|
Date: |
09 Jun 2004 14:57:07 -0600 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50 |
>>>>> "Anthony" == Anthony Green <address@hidden> 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