1.1 --- a/src/share/classes/com/sun/tools/javac/tree/Pretty.java Wed Jul 31 10:52:01 2013 +0100 1.2 +++ b/src/share/classes/com/sun/tools/javac/tree/Pretty.java Wed Jul 31 08:37:34 2013 -0700 1.3 @@ -973,7 +973,6 @@ 1.4 printBrackets((JCArrayTypeTree) elem); 1.5 } 1.6 if (tree.elems != null) { 1.7 - if (tree.elemtype != null) print("[]"); 1.8 print("{"); 1.9 printExprs(tree.elems); 1.10 print("}");