lib/browser/GraphBrowser/Console.java
changeset 18018 82206a6c75c0
parent 14981 e73f8140af78
child 33686 8e33ca8832b1
--- a/lib/browser/GraphBrowser/Console.java	Fri Oct 28 18:53:26 2005 +0200
+++ b/lib/browser/GraphBrowser/Console.java	Fri Oct 28 20:18:37 2005 +0200
@@ -13,8 +13,6 @@
 
 import java.io.*;
 import java.util.*;
-import java.net.*;
-import awtUtilities.*;
 
 public class Console {
 	Graph g;