RFR: 8313739: ZipOutputStream.close() should always close the wrapped stream [v4]

[Eirik Bjørsnøs]

On Tue, 16 Jan 2024 18:18:38 GMT, Lance Andersen <lancea at openjdk.org> wrote:

> This comment could use a bit of wordsmithing to indicate what "correct" means

It's hard to write good prose for these tricky error scenarios. But just saying "correct" without defining it is a bit too lazy, yes :-)

Please take a look at the last commit 39a14de where I've expanded "correct" in the test comments.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/17209#discussion_r1461905312