Re: Comment on bug JDK-8013586

[Mike Clark]

Hi all,

Florian's code looks like the most elegant and correct approach so far.  I
would support that approach.

Thanks all for having a look.  Here's hoping this very old bug gets
squashed in the next release!

thanks,
-Mike