Depend on Checker Framework 1.8.9.