if (verbose) {
classFile.print(new PrintStream(b), 0);
out.println(b.toString());
}
out.println("Statistics:");
classFile.summarize(new PrintStream(b), 4);
out.println(b.toString());
} catch (ClassFormatError ex) {
out.println(" !!! ERROR: format error when parsing class: "
+ name);
out.println(" error: " + err);