Backport of JDK-8212071 to jdk8u-dev

[Hohensee, Paul]

Looks good.

Paul

On 10/30/19, 8:03 AM, "jdk8u-dev on behalf of Mario Torre" <jdk8u-dev-bounces at openjdk.java.net on behalf of neugens at redhat.com> wrote:

    Hi all,
    
    I would like to backport the following bug to jdk8u-dev:
    
    https://bugs.openjdk.java.net/browse/JDK-8212071
    
    The original patch did not apply cleanly due to JDK-8217731, however
    the jdk11-dev patch applies without modifications (except from the
    path changes of course):
    
    http://cr.openjdk.java.net/~neugens/8212071/webrev.00/
    
    Cheers,
    Mario
    
    -- 
    Mario Torre
    Associate Manager, Software Engineering
    Red Hat GmbH <https://www.redhat.com>
    9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898