Withdrawn: 8322256: Define and document GZIPInputStream concatenated stream semantics

[duke]

On Fri, 30 Aug 2024 07:27:11 GMT, Eirik Bjørsnøs <eirbjo at openjdk.org> wrote:

> Please review this PR with picks up on the excellent work done by @archiecobbs in #18385
> 
> The proposed changes aim to solve two issues with the current `java.util.zip.GZIPInputStream`:
> 
> *  The class parses multiple concatenated GZIP files as a single stream. This behavior is not documented in the API  specification.
> *  Any additional bytes following a trailer which do not form a valid header are discarded and the stream behaves as if the end of stream has been reached. This behavior is not documented in the API  specification.
> 
> Testing:
> 
> * A new test `GZIPInputStreamConcat` verifies the behaviors being specified in this PR 
> * A new test `GZIPInputStreamGzipCommand` verifies decompression of various GZIP files created using the `gzip` command.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jdk/pull/20787