7c7
<  * Copyright:	© by the original author(s) and all contributors
---
>  * Copyright:	? by the original author(s) and all contributors
13a14,23
> import java.awt.*;
> import java.awt.event.WindowAdapter;
> import java.awt.event.WindowEvent;
> import java.io.IOException;
> import java.util.ListIterator;
> 
> import javax.swing.*;
> 
> import org.jhotdraw.contrib.*;
> import org.jhotdraw.figures.*;
16d25
< import org.jhotdraw.figures.*;
18,24d26
< import org.jhotdraw.contrib.*;
< 
< import javax.swing.*;
< import java.awt.*;
< import java.awt.event.*;
< import java.io.*;
< import java.util.ListIterator;
461c463
< 		String fonts[] = Toolkit.getDefaultToolkit().getFontList();
---
> 		String fonts[] = GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();