--- 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")) {