- Java-API: allow Benchmark#getRandom() to generate integers
- Java-API: allow Benchmark#getRandom() to generate integers

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror