Update RandomGen.java