Add checker-framework in dependencyManagement