Doteditor : A GUI editor for dot language used in graphviz.