Definition of marker extension
Definition of error annotation specification extension
Annotation error type definition