RFR: 7506: Incorrect numeric formatting of PID by JMC [v4]

[Marcus Hirt]

On Wed, 22 May 2024 20:49:37 GMT, Suchita Chaturvedi <schaturvedi at openjdk.org> wrote:

> > MIght want to check so that there isn't any use (except for the attribute in the SyntheticAttributeExtension) of JVM_PID (attribute or aggregator) anywhere else in JMC. For example in the JVMInformationPage at 237.
> 
> There is only one usage of JVM_PID which is in JVMInformationPage at 237. I have searched entire workspace on eclipse.

One could argue that there should be a PID aggregator, and that the JVM_PID one should be deprecated.

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

PR Comment: https://git.openjdk.org/jmc/pull/557#issuecomment-2127956574