RFR: 8127: Use ProcessHandle API to get PIDs

[Christoph Langer]

On Sun, 8 Oct 2023 10:24:53 GMT, Christoph Dreis <duke at openjdk.org> wrote:

> 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

@dreis2211, please enable GHA testing to avoid such issues like the checkstyle problems introduced with #518. Thanks.

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

PR Comment: https://git.openjdk.org/jmc/pull/522#issuecomment-1763348401