Update BasicRandomization.java

#22