Annotation Type NonExtensible