/** Dump for debug purposes */ public void dump(IndentingPrintWriter out) { out.println(name + " {"); out.indent(); for (InnerClass ic : innerClasses) { ic.dump(out); } out.unindent(); out.println("}"); }