GWT: GWT Developer Pluginの調子がおかしくなった場合の対処法

GWTの開発ではDevelopment Modeでの開発が必須ですが、時々、このプラグインの調子が悪くなる時があります。一旦プラグインを削除してみても、プラグインが動かないという時には、下記のURLにアクセスしてみてください。

http://gwt.google.com/missing-plugin/MissingPlugin.html

そうすると、上述の画面が出てクリックにより正常にインストールできるようです。