Hi isomorfic,


We do have a problem with Java 11. JDK11 is no longer providing fonts (https://www.oracle.com/technetwork/java/java...