jdk-12+20 arrived. Let's merge it. Lots of highlights, trivial merge because of cherry-picked changes. http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2018-11-15/outgoing.txt Testing: tier3_gc_shenandoah (release/fastdebug) passes Ok?