Use Checker Framework version 3.11.0#21

mernst wants to merge 1 commit intorepometric:masterrepometric/linterhub-docker:masterfrom

mernst:cf-3-11-0mernst/linterhub-docker:cf-3-11-0Copy head branch name to clipboard