[jdk17u-dev] Integrated: Merge jdk17u:master

[Goetz Lindenmaier]

On Tue, 23 Dec 2025 17:30:07 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 766ff452
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/766ff4525ffe15909a4ab7840acd370ec05efe92
Stats:     658 lines in 23 files changed: 297 ins; 223 del; 138 mod

Merge

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

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