public void deleteWorkflow(String workflowName)
public void deleteWorkflow(String workflowName) throws FactoryException
  public void deleteWorkflow(String workflowName)  {    graphTabs.removeGraph(workflowName);    navigator.removeWorkflow(workflowName);    manager.getCurrentWorkspace().deleteWorkflow(workflowName);  }