// A simple program to list the available fonts.

ge=callJava["java.awt.GraphicsEnvironment", "getLocalGraphicsEnvironment"]

for name = ge.getAvailableFontFamilyNames[]
   println[name]