Changed the names of SeededRand's methods so they more consistently match those of the java Random API