前の記事では、IntelliJでCheckerFrameworkを使う方法を書きましたが、本記事では、MavenでCheckerFrameworkを使って書かれたコードをコンパイルする方法を書きます。すでに、Maven Centralに必要なjarは上がっていますので、特に難しいことはなく、pom.xml…