RFR: 8308672: Add version number in the replay file generated by DumpInline

[Ashutosh Mehra]

On Wed, 24 May 2023 19:21:27 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Please review this PR that adds version to the replay file generated by DumpInline.
>
> Looks good.

@vnkozlov thanks for reviewing.

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

PR Comment: https://git.openjdk.org/jdk/pull/14131#issuecomment-1561964987