Reports any calls to
java.util.Random.getDouble()
which are then multiplied by some factor and cast to an integer. For generating a random integer in some range,
java.util.Random.getInt()
is more efficient.