public void setCryptographicKeys(EncodedKeyPair k) {
this.theCryptographicKeys = k;
}
public void enableScrambling() {
theGdlScrambler = new MappingGdlScrambler(new Random(startTime.getTime()));
for (Gdl rule : theGame.getRules()) {
theGdlScrambler.scramble(rule);
}
}