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

Wed Nov 23 15:11:50 UTC 2022

On Wed, 23 Nov 2022 14:56:58 GMT, Alexey Ivanov <aivanov at openjdk.org> wrote:

> It makes sense to copy the license header from another file in the same directory to make sure nothing's missing.

Exactly. That's how I spotted the second problem -- by doing a diff with another file that wasn't touched by the PR in question.

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

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