jndi update in web.xml + ad of richfaces ressources servlet