--- old/src/share/classes/java/util/HashSet.java 2013-02-01 13:27:23.000000000 -0800 +++ new/src/share/classes/java/util/HashSet.java 2013-02-01 13:27:23.000000000 -0800 @@ -307,7 +307,7 @@ // Read in all elements in the proper order. for (int i=0; i