public void dump(PrintWriter stream) { if (loaded) { stream.println(name + ": " + desc); for (int i=0; i < stats.length; i++) { stats[i].dump(stream); } } }
public void dump(PrintWriter stream) { if (loaded) { stream.println(name + ": " + desc); for (int i=0; i < stats.length; i++) { stats[i].dump(stream); } } }