} else if (parts[0].equals("randomprofile")) {
randGenProfilePath = parts[1];
}
} // FOR
AbstractRandomGenerator rng = null;
try {
rng = AbstractRandomGenerator.factory(randGenClassName, seed);
if (randGenProfilePath != null)
rng.loadProfile(randGenProfilePath);
} catch (Exception ex) {
ex.printStackTrace();
System.exit(1);
}
m_rng = rng;