Integrated: 8324786: validate-source fails after JDK-8042981

[Daniel D. Daugherty]

On Fri, 26 Jan 2024 21:51:04 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote:

> A trivial fix for validate-source.

This pull request has now been integrated.

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

8324786: validate-source fails after JDK-8042981

Reviewed-by: darcy

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

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