Allow * placeholder in web.xml
Refactoring ServletManager for handling automatic redirect with DefaultServlet