implements Graph.show(java.io.PrintStream)