if (verbose) {
out.println(" +++ equal augmentation: " + key);
}
} else {
out.println(" !!! not equal augmentation: " + key);
msg.push("method = " + method1);
msg.push("method = " + method0);
final StringWriter s0 = new StringWriter();
final StringWriter s1 = new StringWriter();
final PrintWriter p0 = new PrintWriter(s0);
final PrintWriter p1 = new PrintWriter(s1);