During testing with jdk9 and jdk8, I hit the assert for Shenandoah safepoint in the verifier at least once, presumably duing verify-before-exit. This change relaxes back to asserting any safepoint in verifier. Ok? Testing: hotspot_gc_shenandoah http://cr.openjdk.java.net/~rkennke/no-sh-sp/webrev.00/ Roman