Best-Effort Finalization
When System.runFinalization returns the JVM is required to have made a "best-effort" attempt to run the finalizers of all finalizable objects.
CACAO currently does not do this, as no attempt is made to ensure that the finalizer thread is scheduled or that it finished the current list of finalizable objects.