Re: [mkgmap-dev] switch to java 1.7