Tips/eclipse.iniの設定の名前を変更します。