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

[Lin Zang]

> 4890732: GZIPOutputStream doesn't support optional GZIP fields

Lin Zang has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains ten additional commits since the last revision:

 - Merge remote-tracking branch 'upstream/master' into gzip-field
 - remove trailing spaces
 - Use record and Builder pattern
 - add class GZIPHeaderData, refine testcases
 - update copyright
 - reuse arguments constructor for non-argument one.
 - add test case
 - remove trailing spaces
 - 4890732: support optional GZIP fields in GZIPOutputStream

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3072/files
  - new: https://git.openjdk.java.net/jdk/pull/3072/files/35eb55eb..24c1b45f

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3072&range=05
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3072&range=04-05

  Stats: 78610 lines in 2885 files changed: 49815 ins; 18293 del; 10502 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3072.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3072/head:pull/3072

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