The Checker Framework Manual states that your pom.xml should contain several profiles, but yours does not. This is not necessarily a problem, but it makes it harder to diff your buildfile and the text in the manual to find differences. For example, the manual says to update not the section within (as your pom.xml file does), but a different section in your pom.xml file.