mainメソッドが終了するときにガベージコレクタが実行されるなんて仕様はどこに書いてあったの？