Hi all, This pull request contains a backport of commit [f82c8184](https://github.com/openjdk/jdk/commit/f82c8184b26142da4018ae096cfa39d87a4c6540) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Stuart Marks on 12 Jul 2023 and was reviewed by Roger Riggs. Thanks! ------------- Commit messages: - Backport f82c8184b26142da4018ae096cfa39d87a4c6540 Changes: https://git.openjdk.org/jdk21/pull/115/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=115&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8308694 Stats: 32 lines in 4 files changed: 24 ins; 0 del; 8 mod Patch: https://git.openjdk.org/jdk21/pull/115.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/115/head:pull/115 PR: https://git.openjdk.org/jdk21/pull/115