Let's bring in jdk-14+4 from jdk/jdk: http://cr.openjdk.java.net/~rkennke/upstream-jdk14-merge-2019-06-27/changes.txt Merge was trivial, testing (hotspot_gc_shenandoah) passed. Ok? Roman