Just a thought on finalization in general:

If we only need one finalizer per object, why not just allow a class to implement #finalize that will be called right before the object will be garbage collected? That would be more convenient.

Ciao