format
use The Checker Framework compile. see logs/mvn-compile-with-checker-framework.txt