--- a/lib/browser/GraphBrowser/Vertex.java Thu Apr 29 18:34:30 1999 +0200
+++ b/lib/browser/GraphBrowser/Vertex.java Thu Apr 29 22:42:38 1999 +0200
@@ -202,5 +202,5 @@
public boolean rightButton(int x,int y) { return false; }
- public void PS(PrintStream p) {}
+ public void PS(PrintWriter p) {}
}