Hi all, This pull request contains a backport of commit [6fca2898](https://github.com/openjdk/jdk/commit/6fca28988794b52a6aa974bed1ed6f4f07e0994b) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Jorn Vernee on 31 Jul 2023 and was reviewed by Maurizio Cimadamore and Vladimir Ivanov. Thanks! ------------- Commit messages: - Backport 6fca28988794b52a6aa974bed1ed6f4f07e0994b Changes: https://git.openjdk.org/jdk21/pull/150/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=150&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8313023 Stats: 39 lines in 5 files changed: 12 ins; 0 del; 27 mod Patch: https://git.openjdk.org/jdk21/pull/150.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/150/head:pull/150 PR: https://git.openjdk.org/jdk21/pull/150
