>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:
Tom> This changes IdentityHashMap to use linear probing, aka PR 28987. Tom> This ought to be more cache friendly. Also it lets us handle remove() Tom> more efficiently, and removes the need for a tombstone object. I checked this in. Let me know if you run into any problems with it. Tom
