Code style: added modifier "final" to some fields.