[mkgmap-dev] Commit r4188: Fix problem with JRE 10 and newer: