Updated the Makefile to the latest release of the checker framework.

Fixed the package name in the JAIF file generated by Julia.