RFR: 8256450: Add gz option to jmap to write a gzipped heap dump [v5]

[Serguei Spitsyn]

On Fri, 20 Nov 2020 01:17:18 GMT, Lin Zang <lzang at openjdk.org> wrote:

>> This PR add "gz" option to jmap -dump command to support generate gzipped heap dump.
>> 
>> example:
>>       jmap -dump:live,gz=1,file=dump.gz <pid>
>
> Lin Zang has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove unnecessory arguments in verifyDump()

Hi Lin,
The fix looks okay to me.
Thanks,
Serguei

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

Marked as reviewed by sspitsyn (Reviewer).

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