Please review this small addition to the whitelist. The recent fix to comment checking [1] caused jcheck to reject a changeset which was previously accepted. http://cr.openjdk.java.net/~jcoomes/tools/jcheck/whitelist-20131015/ -John [1] http://hg.openjdk.java.net/code-tools/jcheck/rev/4d32511949b8