Hi all, Could anyone review this small patch contributed by my colleague Ian Rogers (irogers at google.com)? Bug: https://bugs.openjdk.java.net/browse/JDK-8234608 Webrev: https://cr.openjdk.java.net/~manc/8234608/webrev.00/ -Man