JJUG CCC 2016 SpringでThe Checker Frameworkというものがあることを知ったので、早速使ってみた。ドキュメントが全部英語で、日本語のものがなくて辛かったので今回は、Intellijを使ってビルドできるようになるまでを書く。 (英語版の設定はThe Checker Fr…