Fixing tiny fonts in JOSM on Windows

https://www.openstreetmap.org/user/watmildon/diary/401177