Random number generation benchmarks in Java