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

[Marcus Hirt]

On Mon, 25 Mar 2024 05:15:44 GMT, Suchita Chaturvedi <schaturvedi at openjdk.org> wrote:

>> Suchita Chaturvedi has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fixed the pid formatting issue on Event Browser and Properties section also
>
> For the JVM PID 2177:
> ![image](https://github.com/openjdk/jmc/assets/11155712/1a7ee492-a970-4c1c-826d-93b36be297c0)
> 
> **Before the Change:**
> JVM Internal Page
> <img width="960" alt="Screenshot 2024-03-25 103611" src="https://github.com/openjdk/jmc/assets/11155712/6a530881-5e5b-43dc-b4c7-618da7021fb9">
> 
> Event Browser Page
> <img width="959" alt="Screenshot 2024-03-25 104001" src="https://github.com/openjdk/jmc/assets/11155712/22b17c1a-472a-4ce8-a0ad-c5b851dba27e">
> 
> **After the Change:**
> JVM Internal Page
> <img width="960" alt="Screenshot 2024-03-25 104207" src="https://github.com/openjdk/jmc/assets/11155712/81ae8a40-ef82-43f7-9fa8-198ceb893569">
> 
> Event Browser Page
> <img width="958" alt="Screenshot 2024-03-25 104343" src="https://github.com/openjdk/jmc/assets/11155712/bcfa8a86-3ecd-48b5-bacd-ad35ad30448c">

I posted a diff for an alternative solution for this in the JMC slack. @Suchitainf is looking at it.

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

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