--- a/lib/browser/GraphBrowser/Graph.java Thu Apr 29 18:34:30 1999 +0200
+++ b/lib/browser/GraphBrowser/Graph.java Thu Apr 29 22:42:38 1999 +0200
@@ -74,7 +74,7 @@
/********************************************************************/
public Graph(InputStream s,TreeNode tn) throws IOException, ParseError {
- StreamTokenizer tok=new StreamTokenizer(s);
+ StreamTokenizer tok=new StreamTokenizer(new InputStreamReader(s));
String name,dir,vertexID;
Vertex ve1,ve2;
boolean children,unfoldDir;
@@ -1006,7 +1006,7 @@
public void PS(String fname,boolean printable) throws IOException {
FileOutputStream f = new FileOutputStream(fname);
- PrintStream p = new PrintStream(f);
+ PrintWriter p = new PrintWriter(f, true);
if (printable)
p.println("%!PS-Adobe-2.0\n\n%%BeginProlog");