RFR: Backport of JDK-8212071 to jdk11u-dev

[Langer, Christoph]

Hi Mario,

looks good and trivial ��

Thanks
Christoph

> -----Original Message-----
> From: jdk-updates-dev <jdk-updates-dev-bounces at openjdk.java.net> On
> Behalf Of Mario Torre
> Sent: Mittwoch, 30. Oktober 2019 13:51
> To: jdk-updates-dev at openjdk.java.net
> Subject: RFR: Backport of JDK-8212071 to jdk11u-dev
> 
> Hi all,
> 
> I would like to backport the following bug to jdk11u-dev:
> 
> https://bugs.openjdk.java.net/browse/JDK-8212071
> 
> Apart from the usual patch changes, the patch needed a minor tweak due
> to the presence of JDK-8217731 which confused the import:
> 
> 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