IntelliJ IDEA 13.1.2
Merge pull request #3977 from ahbeng/intellij-idea-13.1.2

IntelliJ IDEA 13.1.2