> On Oct 19, 2018, at 2:40 PM, Hohensee, Paul <hohensee at amazon.com> wrote: > > A trivial patch to fix 3 misc. issues. > > Bug: https://bugs.openjdk.java.net/browse/JDK-8212698 > Webrev: http://cr.openjdk.java.net/~phh/8212698/webrev.00/ > > Thanks, > > Paul Looks good.