I found the original upstream bug report: https://bugs.openjdk.java.net/browse/JDK-8248126
- Bug#991640: openjfx: Cherry-pick patch to fix Hi-dpi scaling Amr Ibrahim
- Bug#991640: URL of commit Amr Ibrahim
- Bug#991640: Original upstream bug report Amr Ibrahim