I think we randomize these in java land. If we don't do it now, the day is not far away..