+1. Thanks, Jay
> On 18-May-2020, at 10:46 AM, Philip Race <philip.r...@oracle.com> wrote: > > Bug: https://bugs.openjdk.java.net/browse/JDK-6949753 > <https://bugs.openjdk.java.net/browse/JDK-6949753> > webrev : http://cr.openjdk.java.net/~prr/6949753/ > <http://cr.openjdk.java.net/~prr/6949753/> > > Buggy, manual and not very useful. Delete. > > -phil.