optimize web.xml by mike