response.setContentLength(resource.getContentLength());
	public void process(User user, HttpServletRequest request,			HttpServletResponse response, Collection collection,			DocumentImpl resource) throws ServletException, IOException {		if(resource == null) {			// GET is not available on collections			response.sendError(HttpServletResponse.SC_FORBIDDEN, "GET is not available on collections");			return;		}		String contentType;		if(resource.getResourceType() == DocumentImpl.XML_FILE)			contentType = WebDAV.XML_CONTENT;		else			contentType = WebDAV.BINARY_CONTENT;		response.setContentType(contentType);		response.addDateHeader("Last-Modified", resource.getLastModified());	}