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