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

[Kevin Rushforth]

On Wed, 23 Nov 2022 14:51:08 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

I think you have another missing space.

I this this diff is also needed:


  * This code is distributed in the hope that it will be useful, but WITHOUT
  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
- * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  * version 2 for more details (a copy is included in the LICENSE file that
  * accompanied this code).

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

Changes requested by kcr (Author).

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