Integrated: 8307857: validate-source fails after JDK-8306758

Wed May 10 19:42:50 UTC 2023

On Wed, 10 May 2023 19:32:35 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote:

> A trivial copyright fix.

This pull request has now been integrated.

Changeset: df90df29
Author:    Daniel D. Daugherty <dcubed at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/df90df298e4183f5328b88ff0af91ba96fb2510d
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8307857: validate-source fails after JDK-8306758

Reviewed-by: rriggs, cjplummer

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

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