import java.awt.Font;
import java.awt.GraphicsEnvironment;

public class FontPostscriptNames {

  public static void main(String [] argv) {
    GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
    Font [] fonts = ge.getAllFonts();

    for (int i = 0; i < fonts.length; i++)
      System.out.println(fonts[i].getPSName());
  }
}