Added WebSocket servlet manager.