org.graphstream.stream.file.dot (The GraphStream 1.3 API)