JSPが見えないなあ，と思って悩んでいたら，web.xmlに書かれているタグライブラリのパスが間違っていたせいでした．タグライブラリの定義ファイルへの実パスとURIのマッピングを書くところを見落としていたのです． Tomcatは何事もなかったように起動するし…