public void saveDomain(){
  saveDomain(editorTab.getShownFile());
  system.refreshDomain();
}

public void saveDomain ( ) { saveDomain ( editorTab . getShownFile ( ) ) ; system . refreshDomain ( ) ; }
saves the dialogue domain specification to the current file
