[11] RFC: Pick up 11.0.7+9 to sh/jdk11

[Roman Kennke]

> Upstream pushed 11.0.7+9, let's pick it up to sh/jdk11.
> 
> Changesets:
>   https://cr.openjdk.java.net/~shade/shenandoah/merges/jdk11-11.0.7%2b9/changesets.txt
> 
> Testing: hotspot_gc_shenandoah {fastdebug,release}

Yes, please push it.

Thanks,
Roman