[crac] Integrated: Merge jdk:jdk-25+4

[Dmitry Cherepanov]

On Mon, 19 May 2025 11:16:04 GMT, Dmitry Cherepanov <dcherepanov at openjdk.org> wrote:

> Clean merge with jdk-25+4

This pull request has now been integrated.

Changeset: ed399705
Author:    Dmitry Cherepanov <dcherepanov at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/ed3997056b686e6ea136405f3ba51a9be8696ba2
Stats:     6482 lines in 107 files changed: 5673 ins; 422 del; 387 mod

Merge jdk:jdk-25+4

Reviewed-by: rvansa

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

PR: https://git.openjdk.org/crac/pull/228