There's no method to send a ping to websockets connected to my server. I am using jetty. Is it possible to get the jetty object from it the jooby websocket object to work around?