Bumped checker framework version to 1.8.7, fixed compile on Windows (I hope).