RFR: 8297507: Update header after JDK-8297230 [v2]

Wed Nov 23 14:51:09 UTC 2022

On Wed, 23 Nov 2022 14:45:37 GMT, Jayathirth D V <jdv at openjdk.org> wrote:

>> Update header to add extra space
>
> Jayathirth D V has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update header to include extra space

Presuming this passes Tier1, this looks good.

-------------

Marked as reviewed by kcr (Author).

PR: https://git.openjdk.org/jdk/pull/11324