The total export can be done with
~~~Java
l.save("M5.dot");
~~~
The `save` method automatically calls the writer associated to the `.dot` extension