Hi all, This pull request contains a backport of commit [b412fc79](https://github.com/openjdk/jdk/commit/b412fc79c3c2548df10918090beedaf6b2d08d96) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Per Minborg on 16 Jun 2023 and was reviewed by Maurizio Cimadamore. Thanks! ------------- Commit messages: - Backport b412fc79c3c2548df10918090beedaf6b2d08d96 Changes: https://git.openjdk.org/jdk21/pull/34/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=34&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8309937 Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod Patch: https://git.openjdk.org/jdk21/pull/34.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/34/head:pull/34 PR: https://git.openjdk.org/jdk21/pull/34
