# HG changeset patch # User webertj # Date 1130523517 -7200 # Node ID 82206a6c75c0d510995a3d204806e1d9c8dc8cf0 # Parent f6abeac6dcb5e77565e42bf1712c0769d9411b72 unnecessary imports removed diff -r f6abeac6dcb5 -r 82206a6c75c0 lib/browser/GraphBrowser/Console.java --- 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; diff -r f6abeac6dcb5 -r 82206a6c75c0 lib/browser/GraphBrowser/DummyVertex.java --- a/lib/browser/GraphBrowser/DummyVertex.java Fri Oct 28 18:53:26 2005 +0200 +++ b/lib/browser/GraphBrowser/DummyVertex.java Fri Oct 28 20:18:37 2005 +0200 @@ -10,7 +10,6 @@ package GraphBrowser; -import java.util.*; import java.awt.*; class DummyVertex extends Vertex { diff -r f6abeac6dcb5 -r 82206a6c75c0 lib/browser/GraphBrowser/GraphView.java --- a/lib/browser/GraphBrowser/GraphView.java Fri Oct 28 18:53:26 2005 +0200 +++ b/lib/browser/GraphBrowser/GraphView.java Fri Oct 28 20:18:37 2005 +0200 @@ -14,7 +14,6 @@ import java.awt.event.*; import java.io.*; import java.util.*; -import awtUtilities.*; public class GraphView extends Canvas implements MouseListener, MouseMotionListener { Graph gra, gra2;