Migrate to PDE projects for server runtime

[lgpl/argeo-commons.git] / server / runtime / org.argeo.server.jackrabbit / src / main / java / org / argeo / server / jackrabbit / webdav / WebDavServlet.java

diff --git a/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java b/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java
index 965a5fd4706225d9249c11d3fcf41797bebde362..c7b42e6df7be0aeb80e023dd0b386947a0599f33 100644 (file)
--- a/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java
+++ b/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java
@@ -53,6 +53,7 @@ public class WebDavServlet extends SimpleWebdavServlet {
                // }
        }
 
+       @SuppressWarnings("restriction")
        @Override
        protected void service(HttpServletRequest request,
                        HttpServletResponse response) throws ServletException, IOException {