Bumped checker framework version to 1.8.8