They have a new client that doesn't used Adobe Air anymore.
When asked what technologies they use in the new client:
"HTML/JS/CSS for the UI, C++ for the core functionality. We're planning on publishing a deep dive blog on this during alpha, so make sure to keep your eyes out for it!" [1]
edit: "ggregoire" posted a better answer below [2].