Yep it's IntelliJ. Although I don't even use every last feature of the IntelliJ platform, I just try very hard to find and use features in the IDE rather than a mix of external tools. With a terminal inside the IDE, there's not really anything I would need outside the IDE window.