Switch between java.util.Random and XORShiftRNG using System property