Minor changes in RNG.java