Dear mkgmap developers,

 

When using mkgmap, I noticed three things that could be improved a bit to increase the ease of use; because I’m not an experienced Java programmer, I unfortunately can’t program them myself and I even don’t know if they are possible to implement:

 

Willem1