Hi all, This pull request contains a backport of commit [e1386856](https://github.com/openjdk/jdk/commit/e138685648fb7a756a05f314af2883ce408abdd2) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Stuart Marks on 13 Jun 2023 and was reviewed by Joe Darcy, Brian Burkhalter, Jaikiran Pai and Roger Riggs. Thanks! ------------- Commit messages: - Backport e138685648fb7a756a05f314af2883ce408abdd2 Changes: https://git.openjdk.org/jdk21/pull/15/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=15&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8309882 Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod Patch: https://git.openjdk.org/jdk21/pull/15.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/15/head:pull/15 PR: https://git.openjdk.org/jdk21/pull/15