Another attempt to fix the servlet configuration (may be a bug in DW?)