src/share/classes/com/sun/tools/javac/util/Convert.java

Print this page

        

@@ -237,13 +237,13 @@
         case '\t':  return "\\t";
         case '\'':  return "\\'";
         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);
         }
     }
 
     /**
      * Is a character printable ASCII?