[UPDATE] geo/josm

Below is another of the straight forward updates of JOSM.
This time it's rev. 12712 as announced on josm.openstreetmap.de.
Tested on -current on my amd64 box for a little while.

Thanks!
Holger



Index: Makefile
===================================================================
RCS file: /cvs/ports/geo/josm/Makefile,v
retrieving revision 1.39
diff -u -p -u -r1.39 Makefile
--- Makefile 21 Jul 2017 10:04:27 -0000 1.39
+++ Makefile 5 Sep 2017 20:22:12 -0000
@@ -2,7 +2,7 @@

COMMENT= OpenStreetMap map editor

-SVN_REV= 12450
+SVN_REV= 12712
DISTNAME= josm-snapshot-${SVN_REV}
EXTRACT_SUFX = .jar
EXTRACT_CASES+= *.jar) unzip -qa ${FULLDISTDIR}/$$archive -d ${WRKDIST};;
Index: distinfo
===================================================================
RCS file: /cvs/ports/geo/josm/distinfo,v
retrieving revision 1.23
diff -u -p -u -r1.23 distinfo
--- distinfo 21 Jul 2017 10:04:27 -0000 1.23
+++ distinfo 5 Sep 2017 20:22:12 -0000
@@ -1,2 +1,2 @@
-SHA256 (josm-snapshot-12450.jar) = Mp007aRLlSsRg2FEbzwGn4URMZMJmwB9stH/RVk9AdE=
-SIZE (josm-snapshot-12450.jar) = 11227509
+SHA256 (josm-snapshot-12712.jar) = Dr+zXAfQoJhM1/BRI3Gc1MpxDpx5RWvGK/bKPb8n/1I=
+SIZE (josm-snapshot-12712.jar) = 11396882