I am about to post a diff to ECJ which, among other things, will  
deprecate the use of verbosity everywhere in the system.  Instead, new  
functions will be provided which do not require verbosity.  In ten  
years, I've never used verbosity -- it's a holdover from lilgp.  I'm  
working on a manual for ECJ and as I write it I find things like this  
which really should be simplified.  The plan is to deprecate the use  
of verbosity in ECJ this go around (and make certain methods final to  
force a few moves) and entirely delete it next go-around.  Generally  
the only thing you'd need to do is simply delete the verbosity  
argument in various places in your code.

Before I post a CVS commit, anyone disagree with this plan?

Sean