public void setElectionOptions(Value encryptedElectionOptionsValue)
	{
		// Interprets the value object as an encrypted election option list.
		SignedElectionOptions signedElectionOptions = new SignedElectionOptions(encryptedElectionOptionsValue);
		// Decrypts the electionOption list.
		ElectionOptions electionOptions = signedElectionOptions.getElectionOptions();
		Model.setElectionOptions(electionOptions);
	}