Convert to modern web.xml style.