public static int nextRandomInt(int i){
  totalCallsToRandom++;
  if (Log.isLoggingOn()) {
    Log.logLine("randoop.util.Randomness: " + totalCallsToRandom + " calls so far.");
  }
  return random.nextInt(i);
}

public static int nextRandomInt ( int i ) { totalCallsToRandom ++ ; if ( Log . isLoggingOn ( ) ) { Log . logLine ( "randoop.util.Randomness: " + totalCallsToRandom + " calls so far." ) ; } return random . nextInt ( i ) ; }
uniformly random int from [ 0 , i )
