RFR: 7903589: JOL: Rework and amend CLI tools [v4]

Tue Nov 21 20:30:02 UTC 2023

> CLI tools need a few touchups. Heapdump utilities, notably, need more work.

Aleksey Shipilev has updated the pull request incrementally with one additional commit since the last revision:

  Cleanups

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

Changes:
  - all: https://git.openjdk.org/jol/pull/55/files
  - new: https://git.openjdk.org/jol/pull/55/files/a37e94ea..aa5ec193

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jol&pr=55&range=03
 - incr: https://webrevs.openjdk.org/?repo=jol&pr=55&range=02-03

  Stats: 34 lines in 3 files changed: 0 ins; 32 del; 2 mod
  Patch: https://git.openjdk.org/jol/pull/55.diff
  Fetch: git fetch https://git.openjdk.org/jol.git pull/55/head:pull/55

PR: https://git.openjdk.org/jol/pull/55