[jdk17u-dev] Integrated: Merge jdk17u:master

[Goetz Lindenmaier]

On Wed, 16 Jul 2025 09:48:41 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge build tag 17.0.16-ga from jdk17u to jdk17u-dev

This pull request has now been integrated.

Changeset: ba2bd83b
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/ba2bd83beef7ceff59397047df3bbd5f90143c73
Stats:     301 lines in 18 files changed: 217 ins; 22 del; 62 mod

Merge

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

PR: https://git.openjdk.org/jdk17u-dev/pull/3760