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:[25,29] error: [assignment.type.incompatible] incompatible types in assignment.

This example is for use with JDK 11.  For JDK 8, see ../MavenExample.
