I assume that you either have other patches active as well or you changed your style,
anyway, I am working on a better version but don't have much time this weekend.
Gerd
Hallo Gerd,
No I have no other patches active - well if you work on a better version I will wait before I roll back to java 8 for checking it up. I haven't found any info about mkgmap compatibility with java 9 so far.