Box2d is open source. For better or for worse, Rovio are entitled to use it.