Depois de ler algo sobre openconnect possivelmente relacionado a esse tipo de problema, lancei Synaptic Package Manager e instalei os seguintes pacotes relacionados a openconnect , que resolveram o problema:
libopenconnect-dev (3.15-0ubuntu2)
network-manager-openconnect (0.9.4.0-0ubuntu1)
network-manager-openconnect-gnome (0.9.4.0-0ubuntu1)