Make fields that are not meant to be modified final.

It is simpler to see that fields are not modified if they are marked final.