Hi all, This pull request contains a backport of commit [b0c935c0](https://github.com/openjdk/jdk/commit/b0c935c03ebb34f20f15dd8c7616c6c4526073cd) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Per Minborg on 8 Jan 2025 and was reviewed by Maurizio Cimadamore. Thanks! ------------- Commit messages: - Backport b0c935c03ebb34f20f15dd8c7616c6c4526073cd Changes: https://git.openjdk.org/jdk/pull/22962/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=22962&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8347047 Stats: 10 lines in 1 file changed: 7 ins; 2 del; 1 mod Patch: https://git.openjdk.org/jdk/pull/22962.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/22962/head:pull/22962 PR: https://git.openjdk.org/jdk/pull/22962