* @return int
   */
  public static int pickHashTableSizePrime(int minsize) {
    { IntegerWrapper prime = null;
      Vector vector000 = Stella.$HASH_TABLE_SIZE_PRIMES$;
      int index000 = 0;
      int length000 = vector000.length();

      for (;index000 < length000; index000 = index000 + 1) {
        prime = ((IntegerWrapper)((vector000.theArray)[index000]));
        if (prime.wrapperValue >= minsize) {
          return (prime.wrapperValue);
        }
      }
    }
    throw ((StellaException)(StellaException.newStellaException("pick-hash-table-size-prime: minimum size is too large").fillInStackTrace()));
  }