Hi all, This pull request contains a backport of commit [61c58fdd](https://github.com/openjdk/jdk/commit/61c58fdd00727da2841a052477e4f4ecfa7094d6) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Raffaello Giulietti on 4 Aug 2023 and was reviewed by Alan Bateman and Stuart Marks. Thanks! ------------- Commit messages: - Backport 61c58fdd00727da2841a052477e4f4ecfa7094d6 Changes: https://git.openjdk.org/jdk21/pull/164/files Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=164&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8312976 Stats: 88 lines in 2 files changed: 80 ins; 0 del; 8 mod Patch: https://git.openjdk.org/jdk21/pull/164.diff Fetch: git fetch https://git.openjdk.org/jdk21.git pull/164/head:pull/164 PR: https://git.openjdk.org/jdk21/pull/164