docs: private TableView getDefaultTableView() {
          // No user input.
          String viewStr = System.getProperty("use.view");
          if ( viewStr == null ) {
              jmiGetter.setEnabled( false );
              return new GetterTableView( currFile );
          }
          // Valid user input.
          if ( viewStr.equalsIgnoreCase("hex") ) {
              jmiHex.setEnabled( false );
              return new HexTableView( currFile );
          }
          else if ( viewStr.equalsIgnoreCase("date") ) {
              jmiDate.setEnabled( false );
              return new DateTableView( currFile );
          }
          else if ( viewStr.equalsIgnoreCase("cal") ) {
              jmiCal.setEnabled( false );
              return new CalTableView( currFile );
          }
          else if ( viewStr.equalsIgnoreCase("getter") ) {
              jmiGetter.setEnabled( false );
              return new GetterTableView( currFile );
          }
          else { // error by user
              System.err.println("View name: " + viewStr + " invalid.");
              jmiGetter.setEnabled( false );
              return new GetterTableView( currFile );
          }
      }