A couple copyright header issues were identified during the review of JDK-8315409. This is a follow-up bug to fix them.

I did this by running the same copyright tool we use to update the jfx repo, with a slight modification to not filter out those files that already had "Copyright.*2023", since those are the ones that need to be fixed up for incorrect formatting.