1.1 --- a/src/share/classes/com/sun/tools/javap/AttributeWriter.java Fri Jun 28 19:47:54 2013 -0700 1.2 +++ b/src/share/classes/com/sun/tools/javap/AttributeWriter.java Sat Jun 29 20:12:24 2013 +0100 1.3 @@ -114,6 +114,9 @@ 1.4 } 1.5 1.6 public Void visitDefault(DefaultAttribute attr, Void ignore) { 1.7 + if (attr.reason != null) { 1.8 + report(attr.reason); 1.9 + } 1.10 byte[] data = attr.info; 1.11 int i = 0; 1.12 int j = 0;