Fix compilation.
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
smart backspace: better handing of uncommitted documents
Update jediterm lib (IDEA-127442, IDEA-117488, IDEA-125398).
Merge remote-tracking branch 'origin/master'