On 12/14/17 9:42 PM, David Buck wrote: > Hi! > > May I please get a review of the following very simple backport of > this serviceability improvement to JDK 8? > > : > > JDK 8 backport webrevs for review: > http://cr.openjdk.java.net/~dbuck/8059036.0_jdk8/ This patch looks okay to me. Mandy