Thanks @yole. I think what I’m reading is that since there’s no correct/clear answer to the question of which of the generated elements for a property would get annotated by default – the field, the getter, or the setter? – you chose the path of creating a separate, unique element to attach the annotation to. That makes sense to me.