On 13/02/2017 07:33, [email protected] wrote:
Please, review a JDK 9 fix for the bug: https://bugs.openjdk.java.net/browse/JDK-8172969 Webrev:http://cr.openjdk.java.net/~sspitsyn/webrevs/2017/hotspot/8172969-jvmti-spec.hs1/
This looks okay to me. -Alan
