class TomcatXmppWebSocketServlet extends WebSocketServlet {

    @Override
    protected StreamInbound createWebSocketInbound(String subProtocol) {
        // TODO subProtocol is always null on Tomcat 7.0.27, reactivate check when fixed
        // if (SUB_PROTOCOL.equals(subProtocol)) {
        TomcatXmppWebSocket sessionContext = new TomcatXmppWebSocket(serverRuntimeContext, stanzaProcessor);
        return sessionContext;
        // } else {
        // LOG.warn("Unsupported websocket sub protocol, must be \"xmpp\", but was \"" +
        // subProtocol + "\"");
        // return null;
        // }
    }

    public  TomcatXmppWebSocketServlet();
    public  TomcatXmppWebSocketServlet(ServerRuntimeContext serverRuntimeContext, StanzaProcessor stanzaProcessor);

}