fixed python console in pycharm edu
Merge remote-tracking branch 'origin/master'
java folding: use unicode right arrow for closures
fix compilation
compilation fix
RootIndex cleanup: unnecessary field removed
java folding: use unicode right arrow for closures, move deps to the right place