[jdk25u] Integrated: Merge jdk:jdk25

Tue Jul 29 14:21:08 UTC 2025

On Tue, 29 Jul 2025 14:14:08 GMT, Rob McKenna <robm at openjdk.org> wrote:

> Merge

This pull request has now been integrated.

Changeset: e4305815
Author:    Rob McKenna <robm at openjdk.org>
URL:       https://git.openjdk.org/jdk25u/commit/e4305815703c91c028600c19c6dbd3c642bf520e
Stats:     316 lines in 28 files changed: 131 ins; 103 del; 82 mod

Merge

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

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