public function getModuleVersion($module)
    {
        $config = $this->getModuleDefinition($module);
    
        if (isset($config['version'])) {
            return $config['version'];
        } else {
            return SoftwareVersion::DEFAULT_UNRESOLVED_VERSION;
        }
    }