Update IntelliJ IDEA to 13.1.5
Merge pull request #6445 from federicobond/intellij-idea-13.1.5

Update IntelliJ IDEA to 13.1.5