Added a dependency to the releases of the checker framework.