RandomDoubleForRandomInteger

Reports calls to java.util.Random.nextDouble() that are used to create a positive integer number by multiplying the call by a factor and casting to an integer.

For generating a random positive integer in a range, java.util.Random.nextInt(int) is simpler and more efficient.

Example:

int getRandomInt() {
    return (int) ((new Random()).nextDouble() * SIZE);
  }

After the quick-fix is applied:

int getRandomInt() {
    return (new Random()).nextInt(SIZE);
  }