[jdk17u-dev] Integrated: Merge jdk17u:master

[Goetz Lindenmaier]

On Wed, 17 Dec 2025 07:37:20 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: fc816a52
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/fc816a52d5a77d56014401409f1bdf7e56f9f2e0
Stats:     250 lines in 2 files changed: 236 ins; 6 del; 8 mod

Merge

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

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