Fix jbox2d patch file.
--- src/main/java/org/jbox2d/gwtemul/org/jbox2d/common/Timer.java 2019-10-07 21:10:04.581660762 -0700
+++ src/main/java/org/jbox2d/gwtemul/org/jbox2d/common/Timer.java 2019-10-07 21:09:33.262038768 -0700
-@@ -39,6 +39,7 @@
+@@ -39,4 +39,5 @@
return (float) (now() - resetMillis);
}
