Delete WebStorm 7+ on osx.