Rémi Forax Sat, 03 Dec 2011 06:23:33 -0800
WeakHashMap.put() can be optimized a bit because tab[i] is read twice if the key is not in the map.
If someone can create a bug for that ... I will provide a patch. Rémi