--- old/src/share/classes/java/rmi/dgc/VMID.java	Wed Nov 30 09:36:20 2011
+++ new/src/share/classes/java/rmi/dgc/VMID.java	Wed Nov 30 09:36:19 2011
@@ -118,7 +118,7 @@
         StringBuffer result = new StringBuffer();
         if (addr != null)
             for (int i = 0; i < addr.length; ++ i) {
-                int x = (int) (addr[i] & 0xFF);
+                int x = addr[i] & 0xFF;
                 result.append((x < 0x10 ? "0" : "") +
                               Integer.toString(x, 16));
             }