Conversions and corrections in JBox2D to make it compile