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