Checker Framework integration for Intellij Platform