Uncovered bug in handling of servlet path and context.

 Update webdav classes to fix that.