An Eclipse plugin that can edit Graphviz dot language and preview the output figure of Graphviz