--- old/src/jdk.dev/share/classes/com/sun/tools/hat/internal/util/Misc.java	2014-08-27 22:09:43.000000000 +0800
+++ new/src/jdk.dev/share/classes/com/sun/tools/hat/internal/util/Misc.java	2014-08-27 22:09:43.000000000 +0800
@@ -97,11 +97,11 @@
             } else if (ch == '&') {
                 sb.append("&");
             } else if (ch < ' ') {
-                sb.append("&#" + Integer.toString(ch) + ";");
+                sb.append("&#").append((int)ch).append(';');
             } else {
                 int c = (ch & 0xFFFF);
                 if (c > 127) {
-                    sb.append("&#" + Integer.toString(c) + ";");
+                    sb.append("&#").append(c).append(';');
                 } else {
                     sb.append(ch);
                 }