This directory contains an example Maven project that downloads the latest
Checker Framework Maven artifacts and runs the Nullness Checker.

To run the example, simply execute:
mvn compile

You should see output that includes:

MavenExample.java:[29,29] error: [assignment] incompatible types in assignment.
