On Thu, 16 Feb 2023 07:25:42 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Fixed bad copyright line after [JDK-8302385](https://bugs.openjdk.org/browse/JDK-8302385). > > Thanks, > Tobias Thanks, Mikael. ------------- PR: https://git.openjdk.org/jdk/pull/12582