@cedric: They’re Maven repos, containing artifacts that you can use to pull in IntelliJ itself. So plugin projects can just be normal Maven projects. I’m already doing something similar but I manage the IntelliJ class dependency myself which is a total pain.