RFR: 8312329: Minimal build failure after JDK-8311541

[Jie Fu]

On Wed, 19 Jul 2023 02:47:26 GMT, David Holmes <dholmes at openjdk.org> wrote:

>> Please review this trivial fix.
>> Thanks.
>
> Thanks for fixing @DamonFool !

Thanks @dholmes-ora for the review.

Can I push it now?

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

PR Comment: https://git.openjdk.org/jdk/pull/14929#issuecomment-1641309764