Change VAADIN Servlet Mapping?

Vaadin 6 / 7 / 8
1

Hello,

Is there a way to change the /VAADIN mapping so the actual VAADIN directory containing themes and widgetset could be renamed?

Thank you