[jdk25u-dev] Integrated: Merge jdk25u:master

[Goetz Lindenmaier]

On Wed, 3 Dec 2025 08:37:55 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge the changes we pushed for developer convenience to jdk25u after close of 25.0.2 development.

This pull request has now been integrated.

Changeset: 228ff386
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk25u-dev/commit/228ff3869013bf0dcc0baa3a86e16c34168772bc
Stats:     1008 lines in 39 files changed: 844 ins; 43 del; 121 mod

Merge

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

PR: https://git.openjdk.org/jdk25u-dev/pull/53