外部ソフトウェア/Webotsの名前を変更します。