idea 13.1.1 -> 13.1.2
Merge pull request #2528 from edwtjo/idea-13.1.2

idea 13.1.1 -> 13.1.2