// Prints the inner element type of a nested array private void printBaseElementType(JCTree tree) throws IOException { printExpr(TreeInfo.innermostType(tree)); }