Change url-mapping in web.xml + return value of getWebappPath in Servlet