diff -r c78acf6c2f3e -r fcf89720ae71 src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java
--- a/src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java	Mon Dec 10 12:10:50 2012 +0000
+++ b/src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java	Mon Dec 10 16:21:26 2012 +0000
@@ -249,7 +249,7 @@
         INTERSECTION("where.description.intersection");
 
         /** resource key for this where clause kind */
-        private String key;
+        private final String key;
 
         WhereClauseKind(String key) {
             this.key = key;