private void save(File file){
  if (file != null) {
    frame.setTitle(file.getName());
    WorkspaceSerializer.save(file,workspace);
  }
}

private void save ( File file ) { if ( file != null ) { frame . setTitle ( file . getName ( ) ) ; WorkspaceSerializer . save ( file , workspace ) ; } }
save a specified file .
