IntelliJ IDEAIntelliJ IDEAWhat's NewQuick StartManualsReferenceMigration GuidesSee AlsoWeb Resources:Developer CommunityLast modified: 14 July 2015