Hi all, This pull request contains a backport of commit [d072c40f](https://github.com/openjdk/jdk/commit/d072c40ff175c653802796673baef47e24038891) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Naoto Sato on 5 Jul 2023 and was reviewed by Lance Andersen and Brian Burkhalter. Thanks! ------------- Commit messages: - Backport d072c40ff175c653802796673baef47e24038891 Changes: https://git.openjdk.org/jdk21/pull/98/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=98&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8311183 Stats: 40027 lines in 6 files changed: 0 ins; 40027 del; 0 mod Patch: https://git.openjdk.org/jdk21/pull/98.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/98/head:pull/98 PR: https://git.openjdk.org/jdk21/pull/98
