Fix: add servlet to web deployment description