diff -r 1408af4cd8b0 -r 573ceb23beeb src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java
--- a/src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java	Thu Oct 04 13:04:53 2012 +0100
+++ b/src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java	Fri Oct 05 14:35:24 2012 +0100
@@ -325,10 +325,6 @@
      */
     protected class RichPrinter extends Printer {
 
-        public RichPrinter() {
-            super(formatter.isRaw());
-        }
-
         @Override
         public String localize(Locale locale, String key, Object... args) {
             return formatter.localize(locale, key, args);