Update usage of IntelliJ APIs to match what's available with IJ 130.1365.
Merge branch 'jrg-ij-13' of https://github.com/jgindin/multirun into idea13