HttpServletRequest のクラス・ファイルが見つかりません

いつもeclipseで改修しているシステムをいつも通り改修して試験しようと思ったらビルドエラー。対処備忘録。

メッセージ

ビルド・パスが不完全であるため、プロジェクトはビルドされませんでした。
javax.servlet.http.HttpServletRequest のクラス・ファイルが見つかりません。

対処

tomcatのservlet-api.jarをビルドパスに追加したら解消。

勝手に外れることなんてあるのかな。
と思っていたんですが、どうやらgit stashで設定ファイル諸々をstashしてしまったことが原因のよう。