Hi Roger and Alan, I incorporated the latest feedback using version 1) from this latest post:
http://mail.openjdk.java.net/pipermail/core-libs-dev/2017-November/050004.html The actual webrev is here: http://cr.openjdk.java.net/~reinhapa/reviews/8066870/webrev.00 -Patrick
