class AtmosphereWebSocketServletDestination extends ServletDestination implements
    WebSocketDestinationService {

    AtmosphereFramework getAtmosphereFramework() {
        return framework;
    }

    public  AtmosphereWebSocketServletDestination(Bus bus, DestinationRegistry registry, EndpointInfo ei,
                                                 String path);

}