RFR: 8261131: jcmd jmap dump should not accept gz option with no value [v3]

[Serguei Spitsyn]

On Sun, 7 Feb 2021 08:31:10 GMT, Lin Zang <lzang at openjdk.org> wrote:

>> 8261131: jcmd jmap dump should not accept gz option with no value
>
> 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 three additional commits since the last revision:
> 
>  - Merge branch 'master' into gz-fix
>  - remove useless code and update copyright
>  - 8261131: jcmd jmap dump should not accept gz option with no value

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

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

Marked as reviewed by sspitsyn (Reviewer).

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