RFR: 7506: Incorrect numeric formatting of PID by JMC

[Marcus Hirt]

On Tue, 28 May 2024 08:38:49 GMT, Brice Dutheil <bdutheil at openjdk.org> wrote:

>> Do you mean to use @deprecated tag here instead of deleting it completely?
>
> Yeh otherwise, this would be a breaking change for consumer of the flight recorder libraries.

Precisely. We can remove it in JMC 10. :)

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

PR Review Comment: https://git.openjdk.org/jmc/pull/565#discussion_r1617170294