Annotation n) {
AnnotationEnum n) {
	public void addDefaultAnnotation(String target, String c,			Annotation n) {		if (!defaultAnnotation.containsKey(target))			return;		if (DEBUG)			System.out.println("Default annotation " + target + " " + c + " " + n);		defaultAnnotation.get(target).put(c, n);		seen.add(n);	}