annotations/com/intellij/openapi/module/annotations.xml

<root>
  <item
      name='com.intellij.openapi.module.ModuleManager com.intellij.openapi.module.ModuleManager getInstance(com.intellij.openapi.project.Project)'>
    <annotation name='org.jetbrains.annotations.NotNull'/>
  </item>
</root>