RFR: JDK-8254748: Bad Copyright header format after JDK-8212218

[David Holmes]

On Wed, 14 Oct 2020 10:57:34 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:

> Please review this trivial copyright header fix. Thank you.

Looks good and of course trivial.
Thanks for taking care of this promptly.
David

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

Marked as reviewed by dholmes (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/652