Backport of 8217707

Sat May 25 19:20:23 UTC 2019

On 5/25/19 6:07 PM, Ali Ince wrote:
> Hi All,
> 
> I would like to request backport of this fix to 11u and 12u.
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-8217707
> Fix: http://hg.openjdk.java.net/jdk/jdk/rev/3a217bbdd3a2
> 
> The patch itself applies cleanly to both repos.

OK for 11, thanks.

-- 
Andrew Haley
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
https://keybase.io/andrewhaley
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671