I didn't get much response to the last mail concerning
ObjectFinalizer.

In short, Object>>finalizationRegistry is a WeakRegistry
which itself utilizes a WeakKeyDictionary. Not using
a WeakIdentityKeyDictionary prevents the finalization of
equal objects. 

There was a test in 3.9 testing this (it failed). In 3.10
the test got removed but I think it is a bug.

What do you think?

Norbert