Hi all, This pull request contains a backport of commit [cee5724d](https://github.com/openjdk/jdk/commit/cee5724d09b9ef9bd528fb721b756cb052265e3d) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Chris Hegarty on 9 Jun 2023 and was reviewed by Roger Riggs, Uwe Schindler and Paul Sandoz. Thanks! ------------- Commit messages: - Backport cee5724d09b9ef9bd528fb721b756cb052265e3d Changes: https://git.openjdk.org/jdk21/pull/3/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=3&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8309727 Stats: 10 lines in 3 files changed: 7 ins; 0 del; 3 mod Patch: https://git.openjdk.org/jdk21/pull/3.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/3/head:pull/3 PR: https://git.openjdk.org/jdk21/pull/3