Hi all, This pull request contains a backport of commit [414eb6bb](https://github.com/openjdk/jdk/commit/414eb6bb83d092fbcd87d5ab72519b6eb109837f) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Chris Plummer on 17 Dec 2024 and was reviewed by Serguei Spitsyn and David Holmes. Thanks! ------------- Commit messages: - Backport 414eb6bb83d092fbcd87d5ab72519b6eb109837f Changes: https://git.openjdk.org/jdk/pull/22805/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=22805&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8338714 Stats: 26 lines in 3 files changed: 15 ins; 9 del; 2 mod Patch: https://git.openjdk.org/jdk/pull/22805.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/22805/head:pull/22805 PR: https://git.openjdk.org/jdk/pull/22805