code: private String makeAlias(String prefix) {
  
          int i = 0;
          String result;
          do {
              if (i == 0) {
                  result = prefix;
              } else {
                  result = prefix + i;
              }
  
          } while (m_usedAliases.contains(result));
          m_usedAliases.add(result);
          return result;
  
      }
docs: Helper method for generating an alias by taking a prefix and appending the first number to it for which
  the resulting string is not already used as an alias.<p>
  
  @param prefix the alias prefix
  
  @return the table alias