jdk/src/share/classes/sun/rmi/rmic/newrmic/Resources.java
changeset 12045 3c08f7ce2890
parent 12040 558b0e0d5910
child 12197 565357741463
--- a/jdk/src/share/classes/sun/rmi/rmic/newrmic/Resources.java	Mon Mar 05 09:33:44 2012 -0800
+++ b/jdk/src/share/classes/sun/rmi/rmic/newrmic/Resources.java	Mon Mar 05 17:38:01 2012 -0800
@@ -69,7 +69,7 @@
             format = "missing resource key: key = \"" + key + "\", " +
                 "arguments = \"{0}\", \"{1}\", \"{2}\"";
         }
-        return MessageFormat.format(format, (Object[]) args);
+        return MessageFormat.format(format, args);
     }
 
     /**