RFR: JDK-8223599: minimal build failed after JDK-8185525

[Aleksey Shipilev]

On 5/9/19 1:12 PM, Wang Haomin wrote:
> Thanks for your suggestion. However, build is failed when using "--with-jvm-features=-jfr
> --with-jvm-variants=server --with-debug-level=release --disable-precompiled-headers".
> I made a litter modification. Could you review it?
> 
> Webrev: http://cr.openjdk.java.net/~aoqi/8223599/webrev.02/

The change is fine with me.

-Aleksey