1.1 --- a/test/tools/javac/lib/DPrinter.java Tue Oct 15 22:15:35 2013 +0200 1.2 +++ b/test/tools/javac/lib/DPrinter.java Tue Oct 15 15:57:13 2013 -0700 1.3 @@ -946,8 +946,8 @@ 1.4 */ 1.5 public class TypeVisitor implements Type.Visitor<Void,Void> { 1.6 public Void visitAnnotatedType(AnnotatedType type, Void ignore) { 1.7 - printList("typeAnnotations", type.typeAnnotations); 1.8 - printType("underlyingType", type.underlyingType, Details.FULL); 1.9 + printList("typeAnnotations", type.getAnnotationMirrors()); 1.10 + printType("underlyingType", type.unannotatedType(), Details.FULL); 1.11 return visitType(type, null); 1.12 } 1.13