it's a custom one (c++, opengl)
(and the original was also a custom one - just inside flash with as3)