public static int nextInt(int n) { return nextInt(JVM_RANDOM, n);
public static int nextInt() { return nextInt(JVM_RANDOM);
    public static int nextInt(int n) {        return nextInt(JVM_RANDOM, n);    }