Fixed jetty websockets and removed vaadin 7.3 until the Vaadin bug is
resolved.