>>570
たぶん誤解していて、それが仕様だったと勝手に思い込んでいたみたいです。
gc()は呼べますが、gcを実行するかのタイミングの保証はないので、
main終了のときに、あるインスタンスのfinalizeを呼ばすことはできないでしょうか。