repair /rest/* path of Spring rest calls in web.xml