We use Jira OnDemand with limited number of users. We use Google Apps for authentication and user management.
One of our developers left us and we are trying to replace him with another one in Jira.
Since we deleted the Google Apps account of the old guy, his user converted in Jira to an External User.
We want to disable the old guy in order to free license spot for the new one.
According to this article, it should be possible to deactivate users. However there is no any "Active" checkbox in the User Edit Operation popup.
What is the proper way to free the license of the old user and replace him with the new one in our case?