public AnnotationVisitor visitAnnotationDefault() {
		text.add(tab2 + "default=");
		TraceAnnotationVisitor tav = createTraceAnnotationVisitor();
		text.add(tav.getText());
		text.add("\n");
		if (mv != null) {
			tav.av = mv.visitAnnotationDefault();
		}
		return tav;
	}