On 29/11/2018 20:29, Michael McMahon wrote:
:I've updated the webrev after the last comments: http://cr.openjdk.java.net/~michaelm/8211842/webrev.2/ It's really just refactoring. So, unless anyone has a comment I will push the fix shortly.
Thanks for the update, this version looks good to me. -Alan.
