change web.xml to use index as default