I want to give 5 stars but I cant because the SmartSessionCommunicationManager takes the SmartSessionServlet as one of the parameter and I am using ICEPushServlet and cannot use any other servlet. So this should table interface.
Known issue atm for Vaadin server side customizations. As more of them emerge, we’ll need to develop a plugin architecture for the server side terminal (CommunicationManager and the servlet). You could investigate if you can manually merge those two.