This also changes the handling of (undeprecated) method runFinalization and
that's obviously related but could be a separate changeset.

We'll need to merge with my own pending change to Finalizer.java.

Reply via email to