Offer to launch Vagrant if it is down on getting ssh-config (PY-12672).
Add default mapping to /vagrant only in case of absent mappings in Vagrantfile (PY-12700).
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
Don't escape spaces as it brakes mappings and they are escaped later in GeneralCommandLine (PY-12550).
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
default external javadoc url for java 8 fixed (IDEA-124175)
disable stream api conversion on iterable (IDEA-124222)
IDEA-124271
javadoc: ensure that generic arguments are shown in error presentation
Ctrl-Q: process java 8 signature style as 1.8 javadoc could also be run on sources 1.6 (IDEA-124175)
Merge remote-tracking branch 'origin/master'
omg
omg2 [r=ignatov]
Do not wrap border with TitledBorder if there is not title