Adding Java Checker Framework checker option in the makefiles; basically this is...