This seems correct to me (however it would be more interesting a longer log).
Have you tried to restart your servlet container after changing your settings?
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3957988#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...