eclipseでサーブレットのソースを修正しても反映されない

eclipseでサーブレットのソースを修正しても反映されない事があって、なんでかなぁと小一時間悩んだ。デバッグしても修正前のソースをトレースしてるようだった。

解決方法はサーバービューの対象のサーバ（tomcat等）の状態が再公開になっていると思うので、サーバービューの右上のメニューボタンの中の実行中を表すボタンの右側のボタンを押して、サーバの状態を同期済みにする。