pycharm-professional: update to 4.0.1