public ExactAnnotationTypePattern(String formalName) { this.formalName = formalName; this.resolved = false; this.bindingPattern = true;
public ExactAnnotationTypePattern(TypeX annotationType) { this.annotationType = annotationType; this.resolved = (annotationType instanceof ResolvedTypeX);
	public ExactAnnotationTypePattern(String formalName) {		this.formalName = formalName;		this.resolved = false;		this.bindingPattern = true;		// will be turned into BindingAnnotationTypePattern during resolution	}