Removed JavaCC.zip from CVS, in order to conform to its license, which does not permit redistribution without permission. Developers must now separately download JavaCC again.