Add more web.xml properties.