ECJ-INTEREST:

I would like to setup a script that will let me run ECJ many times with
different settings, and collect data from each run into ONE file.  I would like
to know how I can setup a statistics file that will simply add to a file (such
as out.stat).  By default, ECJ will create a new out.stat file every time it is
ran.  I would like it to instead add to the out.stat file every time ECJ is ran.
 Thanks for your help.

Robert Hovden