RFR: 8127: Use ProcessHandle API to get PIDs

Sat Oct 14 22:10:41 UTC 2023

Hi,

this PR uses `ProcessHandle.current().pid()` that was introduced in Java 9 rather than parsing the output of `ManagementFactory.getRuntimeMXBean().getName()`.

If you think this is worthwhile, I'd appreciate a ticket and sponsoring.

Cheers,
Christoph

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

Commit messages:
 - Use ProcessHandle API to get PIDs

Changes: https://git.openjdk.org/jmc/pull/522/files
 Webrev: https://webrevs.openjdk.org/?repo=jmc&pr=522&range=00
  Issue: https://bugs.openjdk.org/browse/JMC-8127
  Stats: 69 lines in 4 files changed: 0 ins; 64 del; 5 mod
  Patch: https://git.openjdk.org/jmc/pull/522.diff
  Fetch: git fetch https://git.openjdk.org/jmc.git pull/522/head:pull/522

PR: https://git.openjdk.org/jmc/pull/522