Does this have to be mutable? I thought it would be final field with no setter.