On 04/26/2017 10:23 AM, Shafi Ahmad wrote: > jdk10 bug: https://bugs.openjdk.java.net/browse/JDK-8177958 > webrev link: http://cr.openjdk.java.net/~shshahma/8177958/webrev.00/ Obviously correct. Looks good. -Aleksey