Don't show initial configuration in EDU.
Merge remote-tracking branch 'origin/master'
EDU-194 Add actions to change course author/description
Fix the layout of the HTTP Proxy configurable
Cleanup (formatting)
"might not have been initialized" adjusted for lambdas inside anonymous (IDEA-130468)
new inference: compare classes from different jdks (IDEA-131888)
Cleanup (unneeded variable)
Merge remote-tracking branch 'origin/master'
fixed EDU-236 Open first task after project creation
fixed NPE while opening first task in new study project
EDU-232 Cancel task window text editing actually doesn't work
EDU-234 Generated python file becomes visible after .answer file was deleted
Update test of JSON's structure view (broken after IDEA-131495)
open first task: refresh directory, stop with project dispose
Merge remote-tracking branch 'origin/master'
[git] make some git push classes & methods public by request of gerrit plugin author
[push] IDEA-130622 Temporary fix for "confusing selection" problem: select all repositories with commits.
[vcs] cleanup: String.format() to ease reading
[vcs] Don't notify about "less interesting" unregistered roots

IDEA-87769 roots not under project dir;
IDEA-98781 roots under ignored directories.

But still show them in the Settings.