drawingSurface.setModified(false);  SetWorkspaceFile cmd = (SetWorkspaceFile)CommandManager.getInstance().getCommand("SetFile"); cmd.setFile(file.getCanonicalPath()); cmd.execute();
public void export(java.io.File file) throws IOException { Group.save(Group.getRoot(), file, true);  // if ok drawingSurface.setModified(false); SetWorkspaceFile cmd = (SetWorkspaceFile)CommandManager.getInstance().getCommand("SetFile"); cmd.setFile(file.getCanonicalPath()); cmd.execute();}