This brings in lots of goodies from jdk/jdk: http://cr.openjdk.java.net/~rkennke/upstream-jdk13-merge-2019-04-11/changes.txt It required some manual merging in few places, but nothing tricky (basically, always selecting whatever comes from upstream). It passes hotspot_gc_shenandoah locally. Ok? Roman