1.1 --- a/src/share/classes/com/sun/tools/javac/util/Convert.java Mon Sep 21 21:08:11 2009 -0700 1.2 +++ b/src/share/classes/com/sun/tools/javac/util/Convert.java Wed Sep 23 18:29:41 2009 -0700 1.3 @@ -239,9 +239,9 @@ 1.4 case '\"': return "\\\""; 1.5 case '\\': return "\\\\"; 1.6 default: 1.7 - return (ch > 127 || isPrintableAscii(ch)) 1.8 + return (isPrintableAscii(ch)) 1.9 ? String.valueOf(ch) 1.10 - : String.format("\\%03o", (int) ch); 1.11 + : String.format("\\u%04x", (int) ch); 1.12 } 1.13 } 1.14