Léo Gaspard 806e5a3882 josm: bump to jre10 ... Fixes https://josm.openstreetmap.de/ticket/11806		2018-07-05 18:47:51 +02:00
..
default.nix	josm: bump to jre10	2018-07-05 18:47:51 +02:00