public void exportAsDOT() {
StatisticsAW.shared().recordEvent(StatisticsAW.EVENT_EXPORT_AS_DOT);
GrammarWindowTab tab = window.getSelectedTab();
if(!tab.canExportToDOT())
return;
if(!XJFileChooser.shared().displaySaveDialog(window.getJavaContainer(), "dot", "DOT file", false))
return;