Bug#764781: Upstream change

[Vincent Privat]

Hi,
If that helps, I have adapted this change in r7616:
https://josm.openstreetmap.de/changeset/7616/josm
Cheers,
Vincent