Update IntelliJ IDEA CE to 13.1.5
Merge pull request #6446 from federicobond/intellij-idea-ce-13.1.5

Update IntelliJ IDEA CE to 13.1.5