Remove setters to ensure immutable and ensure hashcode does not break, in light of Barak's comments