RFR: 4890732: GZIPOutputStream doesn't support optional GZIP fields [v9]

Tue Jul 27 15:55:30 UTC 2021

On Mon, 26 Jul 2021 21:07:59 GMT, Lance Andersen <lancea at openjdk.org> wrote:

> I have not gone through the latest update in detail but there are some changes that are needed. Before moving forward with the CSR, I would like to give time for additional feedback on naming and design.

This proposal will need a few iterations to get to the right API. There are several issues with the proposed GZIPHeaderBuilder, also GZIPHeaderData is mutable (having byte[] as elements in a record is a hazard). I will try to make time in the coming weeks to help.

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

PR: https://git.openjdk.java.net/jdk/pull/3072