Merge branch '139' of https://github.com/JetBrains/intellij-community into myBuild139
Merge remote-tracking branch 'krasa/myBuild139' into myBuild139