[11u] RDR: backport JDK-8212677

[Aleksey Shipilev]

On 5/14/19 1:24 PM, Ichiroh Takiguchi wrote:
> Another changeset '2d18e5ed0f8d' [1] changed from 2016 to 2018 by JDK-8213944 [2]
> But changeset e3cd6d9d43e2 for [3] JDK-8213944 was already pushed by JDK-8223829 [4] on today.
> I'm sorry, I checked jdk-11.0.4+2 tag's source code...
> 
> So please just push changeset 9b93a6b30cbe [5]

Sorry for the delay, pushed:
  https://hg.openjdk.java.net/jdk-updates/jdk11u-dev/rev/77b2c252913d

-Aleksey