[crac] RFR: Merge jdk:jdk-25+22 [v2]

[Dmitry Cherepanov]

On Thu, 17 Jul 2025 10:35:26 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote:

>> Dmitry Cherepanov has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   cleanup
>
> Marked as reviewed by tpushkin (Committer).

@TimPushkin Thank you. Fixed all three places.

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

PR Comment: https://git.openjdk.org/crac/pull/244#issuecomment-3083577686