This merges jdk/jdk -> sh/jdk up to jdk-13+9 plus cherry-picks: "8219486: Missing reg_mask_init() breaks x86_32 build" to un-break x86_32 build. All merged cleanly, tests (hotspot_gc_shenandoah) all passes here. http://cr.openjdk.java.net/~rkennke/upstream-jdk13-merge-2019-02-21/changes.txt Ok? Roman