Сервлет WebDAV автоматически устанавливается и деинсталлируется вместе с Workplace XT. Он находится на сервере приложений Workplace XT. Никаких дополнительных программ FileNet P8 устанавливать не нужно.