Hi all, This pull request contains a backport of commit [ec45bd64](https://github.com/openjdk/jdk/commit/ec45bd64d504d579aef54c924fb8ca75a944036f) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Naoto Sato on 27 Jun 2023 and was reviewed by Roger Riggs, Joe Darcy, Iris Clark and Lance Andersen. Thanks! ------------- Commit messages: - Backport ec45bd64d504d579aef54c924fb8ca75a944036f Changes: https://git.openjdk.org/jdk21/pull/70/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=70&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8310182 Stats: 6 lines in 1 file changed: 0 ins; 0 del; 6 mod Patch: https://git.openjdk.org/jdk21/pull/70.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/70/head:pull/70 PR: https://git.openjdk.org/jdk21/pull/70