[jdk17u-dev] Integrated: Merge jdk17u:master

[Goetz Lindenmaier]

On Wed, 18 Jun 2025 05:20:15 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge build tag 17.0.16+7 from jdk17u to jdk17u-dev

This pull request has now been integrated.

Changeset: 85c01ba8
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/85c01ba8ab1952017a9189674ef49c72ebee59b9
Stats:     479 lines in 7 files changed: 475 ins; 0 del; 4 mod

Merge

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

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