public function setDefaultResultServer(core_kernel_classes_Resource $resultServer) {
        $ext = common_ext_ExtensionsManager::singleton()->getExtensionById('taoResultServer');
        $ext->setConfig(self::DEFAULT_RESULTSERVER_KEY, $resultServer->getUri());
    }