で、即あきらめてTomcat5.0.28で試したところ、別のエラーが… と思ったら、JSTLのライブラリが必要だったんですね。 こちらでは簡単なサンプルが動きました。

http://java.sun.com/j2ee/javaserverfaces/ から落としてきたJSF1.1_01をJBoss4.0.1で動かそうとしたら、なぜか ... WEB-INF\lib\html_basic.tld の読み込みエラーです。java.util.zip.ZipException: error in opening zip fileみたいなエラーが出ました。