Tidied web.xml