出ました。内包Tomcatのバージョンが、5.0.26と4.1.30になっています。
デフォルトが5.0.26になっているので、4.1.30を使うためには、以下の通り。
cd $BOSS_HOME/docs/examples/tomcat ant -buildfile build-tc4-config.xml mv $JBOSS_HOME/server/default $JBOSS_HOME/server/tomcat50 mv $JBOSS_HOME/server/tomcat41 $JBOSS/server/default
最後の2行は実行せずに、起動時に -c tomcat41 でもいいかも。
やっていることはdefaultの中身を物理的にコピーしているだけです。