Hi all, This pull request contains a backport of commit [7fffdb5e](https://github.com/openjdk/jdk/commit/7fffdb5e60351026c9ee77f438b8fe505d85de4c) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Jorn Vernee on 28 Jun 2023 and was reviewed by Maurizio Cimadamore. Thanks! ------------- Commit messages: - Backport 7fffdb5e60351026c9ee77f438b8fe505d85de4c Changes: https://git.openjdk.org/jdk21/pull/78/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=78&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8310405 Stats: 19 lines in 1 file changed: 15 ins; 0 del; 4 mod Patch: https://git.openjdk.org/jdk21/pull/78.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/78/head:pull/78 PR: https://git.openjdk.org/jdk21/pull/78
