--- old/src/java.rmi/share/classes/java/rmi/dgc/VMID.java	2014-08-27 22:09:24.000000000 +0800
+++ new/src/java.rmi/share/classes/java/rmi/dgc/VMID.java	2014-08-27 22:09:24.000000000 +0800
@@ -124,8 +124,7 @@
         if (addr != null)
             for (int i = 0; i < addr.length; ++ i) {
                 int x = addr[i] & 0xFF;
-                sb.append((x < 0x10 ? "0" : "") +
-                          Integer.toString(x, 16));
+                sb.append(x < 0x10 ? "0" : "").append(Integer.toString(x, 16));
             }
         sb.append(':');
         sb.append(uid.toString());