Thanks, looks good. /Robbin (not a Reviewer) On 03/29/2016 04:09 AM, Kim Barrett wrote: > Please review this small cleanup, eliminating a no longer > needed #include dependency. > > CR: > https://bugs.openjdk.java.net/browse/JDK-8152916 > > Webrev: > http://cr.openjdk.java.net/~kbarrett/8152916/webrev.00/ > > Testing: > JPRT >