Merge pull request #27494 from jdanekrh/jd_idea-community
idea-community: 2017.1.5 -> 2017.2
authored by Jörg Thalheim and committed by GitHub 8 years ago 92366530 d203d08a