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

Wed Nov 23 15:11:44 UTC 2022

On Wed, 23 Nov 2022 15:08:13 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:
> 
>   Add additional space

Updated fix looks good now.

Marked as reviewed by kcr (Author).

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

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