Update JBox2D

Many of these changes are reverting libgdx formatter modifications. It
will be far easier to assess changes when updating JBox2D if we do not run
our formatter and/or header fixer.