RFR: Upstream merge to jdk-12+18

[Aleksey Shipilev]

On 11/02/2018 07:16 PM, Roman Kennke wrote:
> Nothing spectacular, trivial merge.
> 
> http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2018-11-02/outgoing.txt
> 
> Testing: tier3_gc_shenandoah
> 
> Ok?

OK!

-Aleksey