que el recolector, al encontrar que no hay más referencias a un objeto, debe
ejecutar el destructor.
-La especificación dice:
+La especificación dice [DWDE]_:
The garbage collector is not guaranteed to run the destructor for all
unreferenced objects. Furthermore, the order in which the garbage collector