hg: jdk7u/jdk7u-dev/jdk: 8019381: HashMap.isEmpty is non-final, potential issues for get/remove

[neil.richards at ngmr.net]

Changeset: b0b15e373002
Author:    zhangshj
Date:      2013-07-05 10:51 +0800
URL:       http://hg.openjdk.java.net/jdk7u/jdk7u-dev/jdk/rev/b0b15e373002

8019381: HashMap.isEmpty is non-final, potential issues for get/remove
Reviewed-by: chegar, mduigou

! src/share/classes/java/util/HashMap.java
+ test/java/util/HashMap/OverrideIsEmpty.java