Java applications can be scaled per-application. Edit the execution script:
The top few lines are:
# Uncomment the following line to override the JVM search sequence
# Uncomment the following line to add additional VM parameters
Add the following (the comment was for my benefit):
# 2019-Nov-28 AM: Additional parameters for High DPI scaling
Play around with the scaling until you like it. I found 2.0 (200%) quite good.
This was tested on 3.19 and 184.108.40.206 (full install) running on Ubuntu 19.04 and 19.10.