Changing root servlet name.

git-svn-id: https://svn.xwiki.org/svnroot/xwiki/sandbox/xwiki-rootwebapp@11959 f329d543-caf0-0310-9063-dda96c69346f

xwiki-platform-tools/src/main/java/com/xpn/xwiki/plugin/webdav/XWikiDispatcherServlet.java → xwiki-platform-tools/src/main/java/com/xpn/xwiki/plugin/webdav/XWikiRootServlet.java

@@ -7,7 +7,7 @@
 import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;
 
-public class XWikiDispatcherServlet extends HttpServlet
+public class XWikiRootServlet extends HttpServlet
 {
     private static final long serialVersionUID = -4907199005755391420L;