diff -r 28b6670e415a -r 89cbba12863d lib/browser/GraphBrowser/DummyVertex.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/DummyVertex.java	Wed Aug 06 00:06:47 1997 +0200
@@ -0,0 +1,31 @@
+/***************************************************************************
+  Title:      GraphBrowser/DummyVertex.java
+  ID:         $Id$
+  Author:     Stefan Berghofer, TU Muenchen
+  Copyright   1997  TU Muenchen
+
+  This class represents a dummy vertex, which is used to simplify the
+  layout algorithm.
+***************************************************************************/
+
+package GraphBrowser;
+
+import java.util.*;
+import java.awt.*;
+
+class DummyVertex extends Vertex {
+	public boolean isDummy() {return true;}
+
+	public Object clone() {
+		Vertex ve=new DummyVertex();
+		ve.setX(getX());ve.setY(getY());
+		return ve;
+	}
+
+	public int leftX() { return getX(); }
+
+	public int rightX() { return getX(); }
+
+	public void draw(Graphics g) {}
+}
+