SWT.SAVE);
fileChooser.setText("Save .dot file");
fileChooser.setFilterPath("");
fileChooser.setFilterExtensions(new String[] { "*.dot" });
fileChooser.setFilterNames(new String[] { "Graphviz file " + " (dot)" });
final String filename = fileChooser.open();
if (filename != null) {
try {
FileUtils.copyFile(dotFile, new File(filename));
} catch (final IOException e) {
MessageDialog.openError(imageCanvas.getShell(), "Saving error",