A fork of the Checker Framework with support for JSpecify.