Update JavaCC and JaCoCo to their latest versions
Use a more realistic version number for Atan