Update java/RandomSource.java