jdk/src/share/classes/java/rmi/dgc/VMID.java
changeset 11117 b6e68b1344d4
parent 10419 12c063b39232
child 14342 8435a30053c1
--- a/jdk/src/share/classes/java/rmi/dgc/VMID.java	Wed Nov 30 10:57:51 2011 +0000
+++ b/jdk/src/share/classes/java/rmi/dgc/VMID.java	Wed Nov 30 12:42:26 2011 +0000
@@ -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));
             }