181182183184185186187188189190191
public void verbose(String msg) { loginfo(msg); } }); nWarn = bb.warnings().size(); if (!modified) { msg = " (not modified)"; } }
100101102103104105106107108109110
public void verbose(String msg) { log(msg, Project.MSG_VERBOSE); } })); nWarn = bb.warnings().size(); if (modified) { anyModified = true; } else