[8252584](https://bugs.openjdk.org/browse/JDK-8252584) was integrated too early due to a mistake on my part, we should redo it and go through the proper approval process this time
(The changes in this commit are exactly identical to 8252584) ------------- Commit messages: - HotSpot Style Guide Changes: https://git.openjdk.org/jdk/pull/11446/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=11446&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8297912 Stats: 94 lines in 2 files changed: 92 ins; 0 del; 2 mod Patch: https://git.openjdk.org/jdk/pull/11446.diff Fetch: git fetch https://git.openjdk.org/jdk pull/11446/head:pull/11446 PR: https://git.openjdk.org/jdk/pull/11446
