Upgrade IntelliJ IDEA to 14.0.2
Merge pull request #7934 from joschi/idea-14.0.2

Upgrade IntelliJ IDEA to 14.0.2