I can do that. I’ve done this before a couple of times, so it should be reasonably familiar. Will attempt to whip something up in the next couple of days.
Thanks, Chris > On Apr 5, 2017, at 12:30 PM, Paul Sandoz <paul.san...@oracle.com> wrote: > > Hi Chris, > > I logged this issue: > > https://bugs.openjdk.java.net/browse/JDK-8178117 > <https://bugs.openjdk.java.net/browse/JDK-8178117> > > Do you want to provide a patch? > > I can help guide you through the process. See here if not already familiar: > > http://openjdk.java.net/contribute/ <http://openjdk.java.net/contribute/> > > Thanks, > Paul.