>>177
コンテナやバージョンによってjarファイルの名前が違うから混乱させないように。
最近のバージョンのTomcatだと servlet-api.jar だったりする。

>>176
Servlet API を提供するライブラリJARが、コンパイル時のクラスパスに含まれているかどうかを確認。