jdk/src/share/classes/java/beans/EventHandler.java
changeset 25777 bb88947b6766
parent 25123 1f70b30da563
--- a/jdk/src/share/classes/java/beans/EventHandler.java	Mon Jul 14 09:16:00 2014 -0700
+++ b/jdk/src/share/classes/java/beans/EventHandler.java	Mon Jul 14 09:48:26 2014 -0700
@@ -437,7 +437,7 @@
         if (method.getDeclaringClass() == Object.class)  {
             // Handle the Object public methods.
             if (methodName.equals("hashCode"))  {
-                return new Integer(System.identityHashCode(proxy));
+                return System.identityHashCode(proxy);
             } else if (methodName.equals("equals")) {
                 return (proxy == arguments[0] ? Boolean.TRUE : Boolean.FALSE);
             } else if (methodName.equals("toString")) {