On Sun, 16 Feb 2014 21:56:47 -0500, Sean Luke <[log in to unmask]> wrote:

>I've double-checked, and (at least on the SVN repository version of ECJ) they 
do indeed print out extra statistics columns as documented.
>
>Sean
>

I used this link from the main page.

  http://cs.gmu.edu/~eclab/projects/ecj/ecj.zip

-- ray