title: IntelliJ CheckerFramework plugin
body: <p>I use the dependency for the CheckerFramework in Java for a Spring application</p>
  <pre><code>    &lt;dependency&gt;
          &lt;groupId&gt;org.checkerframework&lt;/groupId&gt;
          &lt;artifactId&gt;checker-qual&lt;/artifactId&gt;
          &lt;version&gt;1.9.4&lt;/version&gt;
      &lt;/dependency&gt;
  </code></pre>
  <p>in a Maven project under IntelliJ. I installed the plugin for IntelliJ, available <a href="https://plugins.jetbrains.com/plugin/7560?pr=phpStorm" rel="nofollow noreferrer">here</a>. However, when I add an annotation, e.g.</p>
  <p>import org.checkerframework.checker.igj.qual.ReadOnly;
  import org.checkerframework.checker.nullness.qual.NonNull;</p>
  <p>@Service
  public class AService {</p>
  <pre><code>@Override
  public void addSomething(final int[] @NonNull  @ReadOnly something) {}
  </code></pre>
  <p>I get the message <code>Annotations are not allowed here</code> and I cannot compile. I already turned on all the annotations for the plugin.</p>
  <p>How can I solve this?</p>