BaseZmtSimState.java: seed is set before priming