Eclipse WTP Webコンテキストルート名の変更

Eclipse WTPは、デフォルトではプロジェクト名=WTPサーバにデプロイするコンテキスト名になってしまう。
これだと時々、都合が悪いことがある。

プロジェクトのプロパティ設定→「Webプロジェクトの設定」を開いて
コンテキスト・ルート を変更するのだが、
これだけではダメだ。
.settings/org.eclipse.wst.common.componentを開くと

<?xml version="1.0" encoding="UTF-8"?><project-modules id="moduleCoreId" project-version="1.5.0">
    <wb-module deploy-name="foo">
        <wb-resource deploy-path="/" source-path="/target/m2e-wtp/web-resources"/>
        <wb-resource deploy-path="/" source-path="/src/main/webapp" tag="defaultRootSource"/>
        <wb-resource deploy-path="/WEB-INF/classes" source-path="/src/main/java"/>
        <wb-resource deploy-path="/WEB-INF/classes" source-path="/src/main/resources"/>
        <wb-resource deploy-path="/WEB-INF/classes" source-path="/src/test/java"/>
        <wb-resource deploy-path="/WEB-INF/classes" source-path="/src/test/resources"/>
        <wb-resource deploy-path="/WEB-INF/classes" source-path="/src/main/webapp"/>
        <property name="java-output-path" value="/foo/target/classes"/>
        <property name="context-root" value="labo"/>
    </wb-module>
</project-modules>

プロジェクト foo を コンテキスト・ルート labo に設定すると

<property name="context-root" value="labo"/>

とだけ変更されるが、これだけではダメなようである。
wb-module deploy-name も変更して デプロイしなおし、あるいは Eclipse再起動からすればOKだった。

<wb-module deploy-name="labo">