What if another plug-in, or even the Java supports try to create an error/warning in the annotation model? **anyone** can access the annotation model, and the underlying data-structure is a Map, which doesn't support concurrent read/write. We should assume the worst. Otherwise, there would really be no good reason for protecting access to it in the mark occurrences implementation.