--- a/langtools/src/share/classes/com/sun/tools/javac/jvm/CRTable.java	Sat Sep 08 22:54:21 2012 -0700
+++ b/langtools/src/share/classes/com/sun/tools/javac/jvm/CRTable.java	Thu Sep 13 14:29:36 2012 -0700
@@ -162,7 +162,7 @@
     }
 
     /** Source file positions in CRT are integers in the format:
-     *  line-number << LINESHIFT + column-number
+     *  {@literal line-number << LINESHIFT + column-number }
      */
      private int encodePosition(int pos, Position.LineMap lineMap, Log log) {
          int line = lineMap.getLineNumber(pos);