Looks OK to me. -- Jon On 1/12/18 10:07 AM, Kevin Rushforth wrote: > Please review the following simple doc fix: > > https://bugs.openjdk.java.net/browse/JDK-8195003 > http://cr.openjdk.java.net/~kcr/8195003/webrev.00/ > > See the bug report for details. > > -- Kevin >