RFR: 8322256: Define and document GZIPInputStream concatenated stream semantics [v2]

[Alan Bateman]

On Fri, 30 Aug 2024 11:18:41 GMT, Lance Andersen <lancea at openjdk.org> wrote:

> The gnu.org docs cover this(concatenating gzip files) as part of its [advanced usage of gzip](https://github.com/openjdk/jdk/pull/20787#issuecomment-2320873616), so I don'r think we need to do any more archeology

Okay, but just very surprising that support was added in JDK 7 without changes to the API docs or other documentation (from a quick search).

If we are retrofitting the APIs docs then I think treat "GZIP" as a file format. It may require adding overrides so there is a place to document the behavior when reading an entry roll over into the next stream.

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

PR Comment: https://git.openjdk.org/jdk/pull/20787#issuecomment-2320965700