CR-IU-410 - git repository in idea.system.path
Merge branch 'master' of git.labs.intellij.net:idea/community
rename while we still can
Merge branch 'master' of git.labs.intellij.net:idea/community
Merge branch 'master' of git.labs.intellij.net:idea/community