Hi all, This pull request contains a backport of commit [bfef3c3e](https://github.com/openjdk/jdk/commit/bfef3c3e80d4df98bdb0d853c2e2711cdd8252ce) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Raffaello Giulietti on 13 Jun 2023 and was reviewed by Lance Andersen. Thanks! ------------- Commit messages: - Backport bfef3c3e80d4df98bdb0d853c2e2711cdd8252ce Changes: https://git.openjdk.org/jdk21/pull/14/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=14&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8309955 Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod Patch: https://git.openjdk.org/jdk21/pull/14.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/14/head:pull/14 PR: https://git.openjdk.org/jdk21/pull/14
