Fix wrong javadoc in IdentityHashSet