--- a/langtools/src/share/classes/com/sun/tools/javac/util/Convert.java	Mon Sep 21 21:08:11 2009 -0700
+++ b/langtools/src/share/classes/com/sun/tools/javac/util/Convert.java	Wed Sep 23 18:29:41 2009 -0700
@@ -239,9 +239,9 @@
         case '\"':  return "\\\"";
         case '\\':  return "\\\\";
         default:
-            return (ch > 127 || isPrintableAscii(ch))
+            return (isPrintableAscii(ch))
                 ? String.valueOf(ch)
-                : String.format("\\%03o", (int) ch);
+                : String.format("\\u%04x", (int) ch);
         }
     }