This pull request contains a clean backport of commit [a17b563f](https://github.com/openjdk/jdk/commit/a17b563f54b2e0953a1dd9a613e6d5e0e9a8e4cb) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Mikael Vidstedt on 11 Jan 2023 and was reviewed by Erik Joelsson. ------------- Commit messages: - Backport a17b563f54b2e0953a1dd9a613e6d5e0e9a8e4cb Changes: https://git.openjdk.org/jdk20/pull/99/files Webrev: https://webrevs.openjdk.org/?repo=jdk20&pr=99&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8299918 Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod Patch: https://git.openjdk.org/jdk20/pull/99.diff Fetch: git fetch https://git.openjdk.org/jdk20 pull/99/head:pull/99 PR: https://git.openjdk.org/jdk20/pull/99