docs: private void go(String[] args) {
  
          mainArgs = args;
          setDefaultTimeZone();   // let user override if needed
          // setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
          setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
          //
          JMenuBar menuBar = new JMenuBar();
          setJMenuBar( menuBar );
          addMenus( menuBar );
          /*
           * Add a fast close listener
           */
  
          addWindowListener( new WindowAdapter() {
                      public void windowClosing(WindowEvent e)
                      {
                          setVisible( false );
                          dispose();
                          System.exit(0);
                      }
                  }
              );
  
          //
          // Load current file, prime tables and JFrame.
          //
          currFile = new LoadedFile( mainArgs[0] );
          TableView tView = getDefaultTableView();
          resetDefaults( tView );
          //
          // Set max size at start, and display the window.
          //
          Dimension screenMax = Toolkit.getDefaultToolkit().getScreenSize();
          setSize ( screenMax );
          setVisible(true);
      }