Re: [mkgmap-dev] Move to Java 1.8