echo "You may restart your session for removing the jenv export plugin"