Hi all, This pull request contains a backport of commit [354c6605](https://github.com/openjdk/jdk/commit/354c6605e32790ca421869636d8bf5456fc51717) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Daniel Jeliński on 20 Jul 2023 and was reviewed by Alan Bateman and Valerie Peng. Thanks! ------------- Commit messages: - Backport 354c6605e32790ca421869636d8bf5456fc51717 Changes: https://git.openjdk.org/jdk21/pull/142/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=142&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8307185 Stats: 42 lines in 2 files changed: 16 ins; 11 del; 15 mod Patch: https://git.openjdk.org/jdk21/pull/142.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/142/head:pull/142 PR: https://git.openjdk.org/jdk21/pull/142
