Making changes for jetty websockets