040000 tree b542903c1761a2680c2b2a888a903dfb40368f8e	checker-framework
040000 tree a36ccdbed300d070952a3d66021f80719297ec77	j2objc-annotations
040000 tree 679dfd943720a6e3bd6dc3e919bca6458e923e96	jsr305