878879880881882883884885886887888
} catch (ICPException icpe) { // Do nothing as this means that this peer had never been activated. } } list.clear(); } icps.clear(); urls.clear(); addresses.clear(); thePlatformManager = null;