Decrease tomcat startup time by adding a web.xml with absolute-ordering