Duh!  I lied.  The libraries haven't been moved over because some of them are newer ones and we don't want to risk triggering bugs in the current tarball until we roll over to the new tarball in a bit.  So in the meantime, the PROPER libraries for the SVN version of ECJ are temporarily here:

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

Sean

On Apr 8, 2013, at 11:34 AM, Sean Luke wrote:

> Reminder: we've added a jar file for Push to the libraries.zip file on the ECJ website.  This jar file is necessary to compile /ec/gp/push/ and /ec/app/push/ on the SVN repository.  If you don't want to be bothered installing this jar file, you can just delete these two directories.  Alternatively if you're using the makefile, the push code is not built by default: you need to say "make push" to build it.
> 
> Sean