7,7c7,7
<  * Copyright:	© by the original author(s) and all contributors
---
>  * Copyright:	? by the original author(s) and all contributors
16,16d25
< import org.jhotdraw.figures.*;
18,20d13
< import org.jhotdraw.contrib.*;
< 
< import javax.swing.*;
21,21c14,14
< import java.awt.*;
---
> import java.awt.*;
21a15,17
> import java.awt.event.WindowAdapter;
> import java.awt.event.WindowEvent;
> import java.io.IOException;
22,23d14
< import java.awt.event.*;
< import java.io.*;
24a19,23
> 
> import javax.swing.*;
> 
> import org.jhotdraw.contrib.*;
> import org.jhotdraw.figures.*;
24,24c18,18
< import java.util.ListIterator;
---
> import java.util.ListIterator;
460a463,463
> 		String fonts[] = GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
461,461d462
< 		String fonts[] = Toolkit.getDefaultToolkit().getFontList();