}
}
if (!useAnnotationDefaults()) return;
{ // also set values for the type's defaults
AnnotationTypeDoc atd = src.annotationType();
AnnotationTypeElementDoc[] elements = atd.elements();
for(int i=0; i<elements.length; i++) {
AnnotationValue value = elements[i].defaultValue();
if (value != null) {
String name = elements[i].name();
System.out.println("default value named '"+name+"' = "+