[mkgmap-dev] Commit r4361: Fix errors reported by Find Bugs, may improve log messages but should not change other output files

Version mkgmap-r4361 was committed by gerd on Mon, 11 Nov 2019 Fix errors reported by Find Bugs, may improve log messages but should not change other output files http://www.mkgmap.org.uk/websvn/revision.php?repname=mkgmap&rev=4361