Release 1.4.2 More bugfixes: * https://josm.openstreetmap.de/ticket/14429 * https://josm.openstreetmap.de/ticket/14438
