[jdk25u] Integrated: Merge jdk:jdk25

[Rob McKenna]

On Mon, 18 Aug 2025 15:03:17 GMT, Rob McKenna <robm at openjdk.org> wrote:

> Merge

This pull request has now been integrated.

Changeset: 8ef7d600
Author:    Rob McKenna <robm at openjdk.org>
URL:       https://git.openjdk.org/jdk25u/commit/8ef7d6009e3a4996abe32071388224b2acf3097b
Stats:     631 lines in 9 files changed: 524 ins; 81 del; 26 mod

Merge

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

PR: https://git.openjdk.org/jdk25u/pull/94