A trivial fix to cherry-pick JDK-8381475 from main-baseline to repo-valhalla.
------------- Commit messages: - 8381776: [lworld] cherry-pick JDK-8381475 Changes: https://git.openjdk.org/valhalla/pull/2307/files Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=2307&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8381776 Stats: 5 lines in 3 files changed: 4 ins; 0 del; 1 mod Patch: https://git.openjdk.org/valhalla/pull/2307.diff Fetch: git fetch https://git.openjdk.org/valhalla.git pull/2307/head:pull/2307 PR: https://git.openjdk.org/valhalla/pull/2307
