wp7/wp7_and_live/direct_push_intervalの名前を変更します。