public void broadcastList(String[] names, String broadcastName) {
   Namelist gaggleNameList = new Namelist();
   gaggleNameList.setName(broadcastName);
   gaggleNameList.setSpecies(defaultSpecies);
   gaggleNameList.setNames(names);
   try {
     gaggleBoss.broadcastNamelist(myGaggleName, targetGoose, gaggleNameList);
   } catch (RemoteException rex) {
     System.err.println(
         "error rmi selecting at boss, from RShellGoose.broadcastList() " + myGaggleName);
   }
 } // broadcastList
  // ------------------------------------------------------------------------------------------------------
  public void handleNameList(String source, Namelist nameList) {
    System.out.println("pdf viewer rec'd " + nameList.getNames().length + " names");
    for (int i = 0; i < nameList.getNames().length; i++)
      System.out.println("   " + nameList.getNames()[i]);

    int possibleClusterIdNumber = -1;

    for (int i = 0; i < nameList.getNames().length; i++) {
      try {
        possibleClusterIdNumber = Integer.parseInt(nameList.getNames()[i]);
      } catch (NumberFormatException ignore) {
        continue;
      }
      if (possibleClusterIdNumber > 0) {
        // System.out.println  ("want to display cluster number " + possibleClusterIdNumber);
        String fixedName = nameList.getNames()[i];
        if (possibleClusterIdNumber < 10) fixedName = "00" + nameList.getNames()[i];
        else if (possibleClusterIdNumber < 100) fixedName = "0" + nameList.getNames()[i];
        addNewTab(fixedName);
      } // if
    } // for i
  } // handleNameList
 // -------------------------------------------------------------------------------------
 public void handleNameList(String source, Namelist nameList) {
   System.out.println("nameList ready, length " + nameList.getNames().length);
   defaultSpecies = nameList.getSpecies();
   this.nameList = nameList.getNames();
 }