--- a/jdk/src/share/classes/java/util/Formatter.java	Mon Dec 05 13:58:44 2011 +0000
+++ b/jdk/src/share/classes/java/util/Formatter.java	Mon Dec 05 10:50:14 2011 -0800
@@ -2879,7 +2879,7 @@
         }
 
         public String toString() {
-            StringBuilder sb = new StringBuilder('%');
+            StringBuilder sb = new StringBuilder("%");
             // Flags.UPPERCASE is set internally for legal conversions.
             Flags dupf = f.dup().remove(Flags.UPPERCASE);
             sb.append(dupf.toString());