C'est le seul paramètre qui est dans le web.xml, c'est naze.
Il faut hacker la Servlet pour pouvoir le paramétrer ailleurs, et je pense pas
que ça puisse se faire dans les paramètres de config
Mais au moins dans le runtime.xml ca serait pas mal