On 17/09/2014 18:43, Brian Burkhalter wrote:
Hello,Issue: https://bugs.openjdk.java.net/browse/JDK-8058664 Webrev: http://cr.openjdk.java.net/~bpb/8058664/webrev.00/ Somehow some bad fonts got in to the line prefixes of some comments and none of the tools caught it.
    Looks good :-)