Как исправить масштабирование HDPI Ubuntu 17.10 / Java 9?

Недавно я обнаружил, что использование Ubuntu 17.04 и Java 9 привело к тому, что приложения Java Swing корректно масштабировались для моего монитора hdpi. 17.04 и Java 8 неправильно масштабировались, и эта проблема была исправлена ​​немедленно, когда я обновил Java.

На этой неделе я обновил до 17.10 (что было необходимо для решения несвязанной проблемы с захваченными горячими точками Wi-Fi).

К сожалению, теперь Ubuntu 17.10 с Java 9 больше не масштабирует приложение Java Swing, и мне остается читать крошечные крошечные записи снова.

Кто-нибудь знает, что пошло не так, и как исправить это?

Следующая страница ошибки упоминает аналогичную проблему, но, похоже, заявляет, что она была разрешена, но без упоминания о том, как:

https://bugs.launchpad.net/ubuntu/ + источник / гном-оболочки / + ошибка / 1713323