Hm? Ich sitze vor einem Monitor, der 4194 x 2868 Pixel hat. Würdest Du das als 4K benennen? JOSM läuft prima, die Größe und Lesbarkeit aller Schaltflächen ist OK … Ich kann aber leider nicht sagen, was man/frau dazu verstellen müsste, denn ich habe in JOSM dazu gar nichts einstellen müssen, es funktioniert out of the box.
Version/OS: Java 8-Update 201 auf macOS Sierra (10.12.6).
Nachtrag:
Sorry, wenn das nicht hilfreich ist, aber wenn jemand in fett hervorhebt: „Nachwievor KEINE Unterstützung für 4k Monitore.“, also als absolute Behauptung, dann wird man auch mal widersprechen dürfen.
Oder wir verstehen unter 4K verschiedene Dinge, das könnte natürlich auch sein …
Vielleicht liegt es also doch am Betriebssystem und/oder an der Java-Version?