IntelliJ IDEA Community Edition 13.1.2
Merge pull request #3978 from ahbeng/intellij-idea-ce-13.1.2

IntelliJ IDEA Community Edition 13.1.2