RFR: 1704: Add or update copyright header in some files

[Erik Joelsson]

On Thu, 1 Dec 2022 23:34:47 GMT, Zhao Song <zsong at openjdk.org> wrote:

> The patch just updated copyright headers in some files.

As I said offline, I assumed you were just going to fix the files you had missed putting a header on recently, but this was a heroic effort, thanks for doing it! As Magnus says, it's probably better to try to automate this kind of change, but even if there is a mistake or two in here, I think we are much closer to being correct with this change than without it. We can always followup with an automated verification later.

I have skimmed through and looked at the formatting.

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

PR: https://git.openjdk.org/skara/pull/1431