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