> On 2 Jul 2019, at 13:46, Daniel Fuchs <[email protected]> wrote: > > Thanks for doing that! LGTM.
I've pushed the change
http://hg.openjdk.java.net/jdk/jdk/rev/3ae57bbf9585
For the record. In addition to what we've discussed I had to fix the TCK source
by making it compliant with jcheck. That extra fix comprises removing trailing
whitespace and adding trailing newline where it was missing.
