port of jbox2d which is a port of liquidfun/box2d