GWT-compatibility changes now merged upstream to JBox2D.

Also renamed module from gwtbox2d to jbox2d. Consistency++.