Issue #10. final fields should have no setter.