added /VAADIN/* mapping to the servlet