Support for Ada and SPARK languages in IntelliJ IDEA - View it on GitHub