Yeah, I've looked into that, but you have to use their special compiler to build. I can't find a way to use it in a Maven build that doesn't require the user to

Yeah, I've looked into that, but you have to use their special compiler to build. I can't find a way to use it in a Maven build that doesn't require the user to install the checker framework locally.