[mkgmap-dev] Commit r3733: use Int2ObjectOpenHashMap instead of HashMap to avoid random error in implicit calls of Integer.valueOf() which is probably caused by a JIT error in recent JRE versions.