diff -r 8e27e84de2e9 -r abd153854f16 test/tools/javap/output/Tester.java
--- a/test/tools/javap/output/Tester.java	Wed May 01 08:46:04 2013 -0700
+++ b/test/tools/javap/output/Tester.java	Fri May 03 09:56:56 2013 -0700
@@ -128,8 +128,8 @@
 
     /**
      * Individual test-cases failing due to product bugs, may temporarily
-     * be excluded by marking them like  this:
-     * @ignore // 1234567:bug synopsis
+     * be excluded by marking them like this, (where "at-" is replaced by "@")
+     * at-ignore // 1234567: bug synopsis
      */
     @Retention(RetentionPolicy.RUNTIME)
     @interface ignore { }