Hi all, This pull request contains a backport of commit [7b3c2dc5](https://github.com/openjdk/jdk/commit/7b3c2dc5f45afc3646ff5cdc0f6efd68e0b70ea5) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Pavel Rappo on 4 Jul 2023 and was reviewed by Joe Darcy, Naoto Sato, Mandy Chung, Iris Clark, Hamlin Li and Sean Mullan. Thanks! ------------- Commit messages: - Backport 7b3c2dc5f45afc3646ff5cdc0f6efd68e0b70ea5 Changes: https://git.openjdk.org/jdk21/pull/94/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=94&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8311122 Stats: 23 lines in 13 files changed: 0 ins; 0 del; 23 mod Patch: https://git.openjdk.org/jdk21/pull/94.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/94/head:pull/94 PR: https://git.openjdk.org/jdk21/pull/94
