rest-servlet.xml file