ワークスペース名を変更したい。