RFR(s): 8214181: safepoint header cleanup

[coleen.phillimore at oracle.com]

This looks good.  Thank you for fixing the "*"s.
I assume you built this with --disable-precompiled-headers.
Thanks,
Coleen

On 11/21/18 9:17 AM, Robbin Ehn wrote:
> Hi all, please review.
>
> A cleanup of unused headers in safepoint.hpp, which have some minor 
> collateral effects.
>
> CR:
> https://bugs.openjdk.java.net/browse/JDK-8214181
>
> Webrev:
> http://cr.openjdk.java.net/~rehn/8214181/webrev/index.html
>
> Passes t1, locally built without precompiled headers.
>
> Thanks, Robbin