/**
  * remove the game from the list
  *
  * @param gaName the name of the game
  */
 public synchronized void deleteGame(String gaName) {
   Vector members = (Vector) gameMembers.get(gaName);
   if (members != null) {
     members.removeAllElements();
   }
   super.deleteGame(gaName);
 }
  /**
   * remove the game from the list and call {@link SOCGame#destroyGame()} via {@link
   * SOCGameList#deleteGame(String)}.
   *
   * @param gaName the name of the game
   */
  @Override
  public synchronized void deleteGame(String gaName) {
    // delete from super first, to destroy game and set its gameDestroyed flag
    // (Removes game from list before dealing with members, in case of locks)
    super.deleteGame(gaName);

    Vector<StringConnection> members = gameMembers.get(gaName);
    if (members != null) {
      members.removeAllElements();
    }
  }