Here is the ticket for the first report and was filed 4 months ago! I noticed the bug a long time ago and was too lazy to report it, assuming that something this important would be fixed quickly.

https://josm.openstreetmap.de/ticket/14862

My bug report was correctly marked as a duplicate.