IDEA 13.1.2 -> 13.1.3
Merge pull request #2805 from edwtjo/idea-13.1.3

IDEA 13.1.2 -> 13.1.3