040000 tree 3ed6ebbaadd098a856d5da23919eb023132fb9a2	checkerframework
040000 tree a13e123b1786b7232b967d153ddee98d33c3e844	eclipse
040000 tree 2510e55f28558d0d4ffcea09ac57044e4807498d	jetbrains
040000 tree 526408035717440652cb54eb963114ea3e1b1ced	jspecify