// Simple program to list all available font names ge = callJava["java.awt.GraphicsEnvironment", "getLocalGraphicsEnvironment", []] fontNames = ge.getAvailableFontFamilyNames[] for name = fontNames println[name]