On 21/02/2019 20:34, Lance Andersen wrote:
This looks okay to me, probably should get Jon to review as he added this API.Here is the webrev of the patch from Philipp. I did not change the name of the test() method as it was not necessaryhttp://cr.openjdk.java.net/~lancea/8219548/webrev.00/
-Alan