<!DOCTYPE idea-plugin PUBLIC "Plugin/DTD" "http://plugins.intellij.net/plugin.dtd">
<idea-plugin>
  <id>jetbrains.mps.ideaIntegration</id>
  <name>Idea Integration for MPS</name>
  <description>Connects MPS to IDEA</description>
  <version>2017.1.2</version>
  <vendor url="http://www.jetbrains.com/mps/" logo="/MPS_16.png">JetBrains</vendor>
  <idea-version since-build="171.1" until-build="172.1"/>

  <application-components>
    <!-- no application components -->
  </application-components>

  <project-components>
    <component>
        <implementation-class>jetbrains.mps.plugin.MPSProjectIDEHandler</implementation-class>
    </component>
    <component>
        <implementation-class>jetbrains.mps.plugin.PluginStateMonitor</implementation-class>
    </component>
    <component>
      <interface-class>jetbrains.mps.internal.make.runtime.java.IdeaJavaCompiler</interface-class>
      <implementation-class>jetbrains.mps.plugin.IdeaJavaCompilerImpl</implementation-class>
    </component>
  </project-components>

  <actions>
    <!-- no actions -->
  </actions>

  <extensions defaultExtensionNs="com.intellij">
    <mps.NavigationProvider implementation="jetbrains.mps.plugin.IdeaNavigationProvider"/>
    <errorHandler implementation="jetbrains.mps.ide.blame.CharismaReporter"/>
  </extensions>
</idea-plugin>
