Integrated: 8312329: Minimal build failure after JDK-8311541

[Jie Fu]

On Wed, 19 Jul 2023 01:42:41 GMT, Jie Fu <jiefu at openjdk.org> wrote:

> Please review this trivial fix.
> Thanks.

This pull request has now been integrated.

Changeset: 82612e27
Author:    Jie Fu <jiefu at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/82612e27255e36d498dcd6700f3b7d264b420180
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

8312329: Minimal build failure after JDK-8311541

Reviewed-by: dholmes, amitkumar

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

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