Merging from upstream jdk/jdk up to tag jdk-12+10. Nothing spectacular happened. List of changes: http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2018-09-11/outgoing.txt Merged trivially. Testing: tier3_gc_shenandoah ok Roman