@TypeInfo("io.vertx.ceylon.core.http::WebSocketStream") public WebSocketStream pause() { WebSocketStream ret = io.vertx.ceylon.core.http.WebSocketStream.TO_CEYLON .converter() .safeConvert(delegate.pause()); return this; }